Normal1 = new Image();
Normal1.src = "pic/nav_weiss.gif"; /* Hier erste Standard-Grafik angeben */
Highlight1 = new Image();
Highlight1.src = "pic/nav_lila.gif";
Normal2 = new Image();
Normal2.src = "pic/nav_aktiv.gif"; /* Hier erste Standard-Grafik angeben */
Highlight2 = new Image();
Highlight2.src = "pic/nav_weiss.gif";

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