Normal1 = new Image(); 
Normal1.src = "images/navigat/menu_01n.gif"; 
Highlight1 = new Image();
Highlight1.src = "images/navigat/menu_01h.gif";                
Normal2 = new Image(); 
Normal2.src = "images/navigat/menu_02n.gif"; 
Highlight2 = new Image();
Highlight2.src = "images/navigat/menu_02h.gif";   
Normal3 = new Image(); 
Normal3.src = "images/navigat/menu_03n.gif"; 
Highlight3 = new Image();
Highlight3.src = "images/navigat/menu_03h.gif";   
Normal4 = new Image(); 
Normal4.src = "images/navigat/menu_04n.gif"; 
Highlight4 = new Image();
Highlight4.src = "images/navigat/menu_04h.gif";   


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