
 <!-- Hover-Effekt -->

<!--
Normal1 = new Image();
Normal1.src = "img/menue1.gif";
Highlight1 = new Image();
Highlight1.src = "img/menue1_on.gif";

Normal2 = new Image();
Normal2.src = "img/menue2.gif";
Highlight2 = new Image();
Highlight2.src = "img/menue2_on.gif";

Normal3 = new Image();
Normal3.src = "img/menue3.gif";
Highlight3 = new Image();
Highlight3.src = "img/menue3_on.gif";

Normal4 = new Image();
Normal4.src = "img/menue4.gif";
Highlight4 = new Image();
Highlight4.src = "img/menue4_on.gif";

Normal5 = new Image();
Normal5.src = "img/menue5.gif";
Highlight5 = new Image();
Highlight5.src = "img/menue5_on.gif";

Normal6 = new Image();
Normal6.src = "img/menue6.gif";
Highlight6 = new Image();
Highlight6.src = "img/menue6_on.gif";


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