function changeDefaultValueBetriebsstunden(value) {
	document.getElementById('question_7_1_exp').value = value;
	var val = parseInt(value - 1000) / 10;
	slider_question_7_1_exp.set(val);
}
