Normal2 = new Image();
 Normal2.src = "img/navi/home.gif";
 Highlight2 = new Image();
 Highlight2.src = "img/navi/home_over.gif";

 Normal3 = new Image();
 Normal3.src = "img/navi/erdgeschoss.gif";
 Highlight3 = new Image();
 Highlight3.src = "img/navi/erdgeschoss_over.gif";

 Normal4 = new Image();
 Normal4.src = "img/navi/etage1.gif";
 Highlight4 = new Image();
 Highlight4.src = "img/navi/etage1_over.gif";

 Normal5 = new Image();
 Normal5.src = "img/navi/etage2.gif";
 Highlight5 = new Image();
 Highlight5.src = "img/navi/etage2_over.gif";

 Normal6 = new Image();
 Normal6.src = "img/navi/lage.gif";
 Highlight6 = new Image();
 Highlight6.src = "img/navi/lage_over.gif";

 Normal7 = new Image();
 Normal7.src = "img/navi/umgebung.gif";
 Highlight7 = new Image();
 Highlight7.src = "img/navi/umgebung_over.gif";

 Normal8= new Image();
 Normal8.src = "img/navi/preise.gif";
 Highlight8 = new Image();
 Highlight8.src = "img/navi/preise_over.gif";

 Normal9 = new Image();
 Normal9.src = "img/navi/buch.gif";
 Highlight9 = new Image();
 Highlight9.src = "img/navi/buch_over.gif";

 Normal10 = new Image();
 Normal10.src = "img/navi/kontakt.gif";
 Highlight10 = new Image();
 Highlight10.src = "img/navi/kontakt_over.gif";


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