Normal1 = new Image(); 
  Normal1.src = "../images/nav/home.jpg"; 
  Highlight1 = new Image(); 
  Highlight1.src = "../images/nav/home-on.jpg"; 

  Normal2 = new Image(); 
  Normal2.src = "../images/nav/aktuelles.jpg"; 
  Highlight2 = new Image(); 
  Highlight2.src = "../images/nav/aktuelles-on.jpg"; 

  Normal3 = new Image(); 
  Normal3.src = "../images/nav/hotel.jpg"; 
  Highlight3 = new Image(); 
  Highlight3.src = "../images/nav/hotel-on.jpg"; 

  Normal4 = new Image(); 
  Normal4.src = "../images/nav/essen.jpg"; 
  Highlight4 = new Image(); 
  Highlight4.src = "../images/nav/essen-on.jpg"; 

  Normal5 = new Image(); 
  Normal5.src = "../images/nav/infos.jpg"; 
  Highlight5 = new Image(); 
  Highlight5.src = "../images/nav/infos-on.jpg"; 

  Normal6 = new Image(); 
  Normal6.src = "../images/nav/gaestebuch.jpg"; 
  Highlight6 = new Image(); 
  Highlight6.src = "../images/nav/gaestebuch-on.jpg"; 

  Normal7 = new Image(); 
  Normal7.src = "../images/nav/team.jpg"; 
  Highlight7 = new Image(); 
  Highlight7.src = "../images/nav/team-on.jpg"; 

  Normal8 = new Image(); 
  Normal8.src = "../images/nav/jobs.jpg"; 
  Highlight8 = new Image(); 
  Highlight8.src = "../images/nav/jobs-on.jpg"; 

  Normal9 = new Image(); 
  Normal9.src = "../images/nav/links.jpg"; 
  Highlight9 = new Image(); 
  Highlight9.src = "../images/nav/links-on.jpg"; 

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