Normal1 = new Image();
Normal1.src = "home1.gif";
Highlight1 = new Image();
Highlight1.src = "home2.gif";
Normal2 = new Image();
Normal2.src = "bilder1.gif";
Highlight2 = new Image();
Highlight2.src = "bilder2.gif";
Normal3 = new Image();
Normal3.src = "lageplan1.gif";
Highlight3 = new Image();
Highlight3.src = "lageplan2.gif";
Normal4 = new Image();
Normal4.src = "preise1.gif";
Highlight4 = new Image();
Highlight4.src = "preise2.gif";
Normal5 = new Image();
Normal5.src = "saisonzeiten1.gif";
Highlight5 = new Image();
Highlight5.src = "saisonzeiten2.gif";
Normal6 = new Image();
Normal6.src = "frei1.gif";
Highlight6 = new Image();
Highlight6.src = "frei2.gif";
Normal7 = new Image();
Normal7.src = "links1.gif";
Highlight7 = new Image();
Highlight7.src = "links2.gif";
function Bildwechsel(Bildnr,Bildobjekt) {window.document.images[Bildnr].src = Bildobjekt.src;}