function over(id) {
	document.getElementById(id).style.backgroundColor='#8888B4';
	}

function out(id) {
	document.getElementById(id).style.backgroundColor='#ECECEC';
	}

function open_print() {
	window.open('drucken','Druckversion','width=750,height=500,menubar=yes,scrollbars=yes');
	}