star = new Image();
  star.src = "grafik/start.gif";
  sta1 = new Image();
  sta1.src = "grafik/start1.gif";

  zimm = new Image();
  zimm.src = "grafik/zimmer.gif";
  zim1 = new Image();
  zim1.src = "grafik/zimmer1.gif";

  kont = new Image();
  kont.src = "grafik/kontakt.gif";
  kon1 = new Image();
  kon1.src = "grafik/kontakt1.gif";

  lage = new Image();
  lage.src = "grafik/lage.gif";
  lag1 = new Image();
  lag1.src = "grafik/lage1.gif";

  mail = new Image();
  mail.src = "grafik/mail.gif";
  mai1 = new Image();
  mai1.src = "grafik/mail1.gif";

function wechsel(bname,bobjekt)
  {
   document.images[bname].src = bobjekt.src;
  }