// check_or_uncheck():
	// state = 0 -> name wird abgewaehlt
	// state = 1 -> name wird angewaehlt
	
	function check_or_uncheck(name, state){
		if (document.getElementById(name) != null) {
			document.getElementById(name).checked = state;
		} else {
			// alert("Check_or_Uncheck: Das Element '" + name + "' existiert nicht.");
		}
	}