<!--
function TauscheBild(bild_name, neues_bild, farbcode)
{
	window.document.getElementById(bild_name).src = "Bilder/"+neues_bild;
	window.document.getElementById(bild_name).style.borderColor = farbcode; 
}
//-->