Normal0 = new Image();
 Normal0.src = "img/navi/home.jpg";
 Highlight0 = new Image();
 Highlight0.src = "img/navi/home_over.jpg";


 Normal1 = new Image();
 Normal1.src = "img/navi/arrow_lang.jpg";
 Highlight1 = new Image();
 Highlight1.src = "img/navi/arrow_lang_hover.jpg";

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