<!--
function checkthebox(id) {
	if(document.getElementById(id).checked == true) {
		document.getElementById(id).checked = false;
	} else {
		document.getElementById(id).checked = true;
	}
}

function checkall(id) {
	var k=0;
	var status = document.getElementById('checker').checked;
	while(id.elements[k]) {
		if(id.elements[k].name != 'checker' && id.elements[k].type == 'checkbox') {
			id.elements[k].checked=status;
		}
		k++;
	}
}
function NachOben() {
 window.scroll(0, 0);
}

-->