Normal1 = new Image();
Normal1.src = "navigation/bilder/01.gif";    
Highlight1 = new Image();
Highlight1.src = "navigation/bilder/011.gif"; 

Normal2 = new Image();
Normal2.src = "navigation/bilder/01.gif";     
Highlight2 = new Image();
Highlight2.src = "navigation/bilder/012.gif"; 

Normal3 = new Image();
Normal3.src = "navigation/bilder/02.gif";     
Highlight3 = new Image();
Highlight3.src = "navigation/bilder/021.gif";  

Normal4 = new Image();
Normal4.src = "navigation/bilder/03.gif";     
Highlight4 = new Image();
Highlight4.src = "navigation/bilder/031.gif";  

Normal5 = new Image();
Normal5.src = "navigation/bilder/04.gif";     
Highlight5 = new Image();
Highlight5.src = "navigation/bilder/041.gif";  

Normal6 = new Image();
Normal6.src = "navigation/bilder/05.gif";     
Highlight6 = new Image();
Highlight6.src = "navigation/bilder/051.gif";  

Normal7 = new Image();
Normal7.src = "navigation/bilder/06.gif";     
Highlight7 = new Image();
Highlight7.src = "navigation/bilder/061.gif";  

Normal8 = new Image();
Normal8.src = "navigation/bilder/07.gif";     
Highlight8 = new Image();
Highlight8.src = "navigation/bilder/071.gif";  

Normal9 = new Image();
Normal9.src = "navigation/bilder/08.gif";     
Highlight9 = new Image();
Highlight9.src = "navigation/bilder/081.gif"; 

Normal10 = new Image();
Normal10.src = "navigation/bilder/09.gif";     
Highlight10 = new Image();
Highlight10.src = "navigation/bilder/091.gif"; 

Normal11 = new Image();
Normal11.src = "navigation/bilder/10.gif";     
Highlight11 = new Image();
Highlight11.src = "navigation/bilder/101.gif"; 

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