function Bild_tauschen(ID,Bild){
	document.getElementById(ID).src_alt=document.getElementById(ID).src;
	document.getElementById(ID).src=Bild;
}

function Bild_zuruecktauschen(ID){
	if (document.getElementById(ID).src_alt) {
		document.getElementById(ID).src=document.getElementById(ID).src_alt;
	}
}