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

Normal1 = new Image();
Normal1.src = "img/nav_01_0.gif";    
Highlight1 = new Image();
Highlight1.src = "img/nav_01_1.gif"; 

Normal2 = new Image();
Normal2.src = "img/nav_02_0.gif";     
Highlight2 = new Image();
Highlight2.src = "img/nav_02_1.gif"; 


Normal3 = new Image();
Normal3.src = "img/nav_03_0.gif";    
Highlight3 = new Image();
Highlight3.src = "img/nav_03_1.gif";


//submenu

//kontakt

Normal4 = new Image();
Normal4.src = "img/nav_0301_0.gif";    
Highlight4 = new Image();
Highlight4.src = "img/nav_0301_1.gif"; 

Normal5 = new Image();
Normal5.src = "img/nav_0302_0.gif";    
Highlight5 = new Image();
Highlight5.src = "img/nav_0302_1.gif"; 

Normal6 = new Image();
Normal6.src = "img/nav_0303_0.gif";    
Highlight6 = new Image();
Highlight6.src = "img/nav_0303_1.gif";