Normal1 = new Image();
Normal1.src = "/nav/fotodesignberlin-blog.gif";
Highlight1 = new Image();
Highlight1.src = "/nav/fotograf-blog_on.gif";

Normal2 = new Image();
Normal2.src = "/nav/webseiten.gif";
Highlight2 = new Image();
Highlight2.src = "/nav/webseiten_on.gif";

Normal3 = new Image();
Normal3.src = "/nav/kontakt.gif";
Highlight3 = new Image();
Highlight3.src = "/nav/kontakt_on.gif";

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