Normal0 = new Image();
Normal1 = new Image();
Normal2 = new Image();
Normal3 = new Image();
Normal4 = new Image();

Highlight0 = new Image();
Highlight1 = new Image();
Highlight2 = new Image();
Highlight3 = new Image();
Highlight4 = new Image();

Normal0.src    = "bilder/menu1a.gif";
Highlight0.src = "bilder/menu1b.gif";
Normal1.src    = "bilder/menu2a.gif";
Highlight1.src = "bilder/menu2b.gif";
Normal2.src    = "bilder/menu3a.gif";
Highlight2.src = "bilder/menu3b.gif";
Normal3.src    = "bilder/menu4a.gif";
Highlight3.src = "bilder/menu4b.gif";
Normal4.src    = "bilder/menu5a.gif";
Highlight4.src = "bilder/menu5b.gif";


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