Normal2 = new Image(); Normal2.src = "/grafiken/buttons/home_of.gif";
Highlight2 = new Image(); Highlight2.src = "/grafiken/buttons/home_on.gif";

function Bildwechsel(Bildnr,Bildobjekt)
	{
	window.document.images[Bildnr].src = Bildobjekt.src;
	}