<!--
function bildwechsel(bildname, bild){
		document.images[bildname].src = bild;
	}
//-->