Normal1 = new Image();
Normal1.src = "bilder/navi/01.png";     
Highlight1 = new Image();
Highlight1.src = "bilder/navi/01_over.png"; 

Normal2 = new Image();
Normal2.src = "bilder/navi/02.png";     
Highlight2 = new Image();
Highlight2.src = "bilder/navi/02_over.png"; 

Normal3 = new Image();
Normal3.src = "bilder/navi/03.png";     
Highlight3 = new Image();
Highlight3.src = "bilder/navi/03_over.png"; 

Normal4 = new Image();
Normal4.src = "bilder/navi/04.png";     
Highlight4 = new Image();
Highlight4.src = "bilder/navi/04_over.png"; 

Normal5 = new Image();
Normal5.src = "bilder/navi/05.png";     
Highlight5 = new Image();
Highlight5.src = "bilder/navi/05_over.png"; 

Normal6 = new Image();
Normal6.src = "bilder/navi/06.png";     
Highlight6 = new Image();
Highlight6.src = "bilder/navi/06_over.png"; 

Normal7 = new Image();
Normal7.src = "bilder/navi/07.png";     
Highlight7 = new Image();
Highlight7.src = "bilder/navi/07_over.png"; 

Normal8 = new Image();
Normal8.src = "bilder/navi/08.png";     
Highlight8 = new Image();
Highlight8.src = "bilder/navi/08_over.png"; 

Normal9 = new Image();
Normal9.src = "bilder/haus.png";     
Highlight9 = new Image();
Highlight9.src = "bilder/haus2.png"; 

Normal10 = new Image();
Normal10.src = "bilder/trier.png";     
Highlight10 = new Image();
Highlight10.src = "bilder/trier2.png";

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