Normal1 = new Image();
Normal1.src = "images/nav01.gif";
Highlight1 = new Image();
Highlight1.src = "images/nav01_hell.gif";

Normal2 = new Image();
Normal2.src = "images/nav02.gif";
Highlight2 = new Image();
Highlight2.src = "images/nav02_hell.gif";

Normal3 = new Image();
Normal3.src = "images/nav03.gif";
Highlight3 = new Image();
Highlight3.src = "images/nav03_hell.gif";

Normal4 = new Image();
Normal4.src = "images/nav04.gif";
Highlight4 = new Image();
Highlight4.src = "images/nav04_hell.gif";

Normal5 = new Image();
Normal5.src = "images/nav05.gif";
Highlight5 = new Image();
Highlight5.src = "images/nav05_hell.gif";

Normal6 = new Image();
Normal6.src = "images/nav06.gif";
Highlight6 = new Image();
Highlight6.src = "images/nav06_hell.gif";

Normal7 = new Image();
Normal7.src = "images/nav07.gif";
Highlight7 = new Image();
Highlight7.src = "images/nav07_hell.gif";

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