Normal1 = new Image();
Normal1.src = "navi/home.jpg";     
Highlight1 = new Image();
Highlight1.src = "navi/home1.jpg"; 

Normal2 = new Image();
Normal2.src = "navi/shop.jpg";     
Highlight2 = new Image();
Highlight2.src = "navi/shop1.jpg";

Normal3 = new Image();
Normal3.src = "navi/waldshut.jpg";     
Highlight3 = new Image();
Highlight3.src = "navi/waldshut1.jpg"; 

Normal4 = new Image();
Normal4.src = "navi/office.jpg";     
Highlight4 = new Image();
Highlight4.src = "navi/office1.jpg"; 

Normal5 = new Image();
Normal5.src = "navi/news.jpg";     
Highlight5 = new Image();
Highlight5.src = "navi/news1.jpg"; 

Normal6 = new Image();
Normal6.src = "navi/fun.jpg";     
Highlight6 = new Image();
Highlight6.src = "navi/fun1.jpg"; 

Normal7 = new Image();
Normal7.src = "navi/down.jpg";     
Highlight7 = new Image();
Highlight7.src = "navi/down1.jpg"; 

Normal8 = new Image();
Normal8.src = "navi/kontact.jpg";     
Highlight8 = new Image();
Highlight8.src = "navi/kontact1.jpg"; 

Normal9 = new Image();
Normal9.src = "navi/impressum.jpg";     
Highlight9 = new Image();
Highlight9.src = "navi/impressum1.jpg"; 




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