<!--
b_blank=new Image();
b_blank.src="../gif/farben/808080.gif";

b_home=new Image();
b_home.src="../gif/navi/home.gif";

b_zurueck=new Image();
b_zurueck.src="../gif/navi/zurueck.gif";

b_back=new Image();
b_back.src="../gif/navi/back.gif";

function bildWechsel(nummer,objekt) {
	window.document.images[nummer].src=objekt.src;
	}
//-->