Normal2 = new Image(); Normal2.src = "/grafiken/katalog/buttons/start_of.gif";
Highlight2 = new Image(); Highlight2.src = "/grafiken/katalog/buttons/start_on.gif";

Normal3 = new Image(); Normal3.src = "/grafiken/katalog/buttons/order_of.gif";
Highlight3 = new Image(); Highlight3.src = "/grafiken/katalog/buttons/order_on.gif";

Normal4 = new Image(); Normal4.src = "/grafiken/katalog/buttons/agb_of.gif";
Highlight4 = new Image(); Highlight4.src = "/grafiken/katalog/buttons/agb_on.gif";

Normal5 = new Image(); Normal5.src = "/grafiken/buttons/home_of.gif";
Highlight5 = new Image(); Highlight5.src = "/grafiken/buttons/home_on.gif";

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