function change_pic(to, from) {
	//var temp = to.src;
	to.src = from.src;
	//from.src = temp;
}

function drucken() {
	document.printform.submit();
}