Normal1 = new Image();
Normal1.src = "img/menue1.jpg";
Highlight1 = new Image();
Highlight1.src = "img/menue1_over.jpg";

Normal2 = new Image();
Normal2.src = "img/menue2.jpg";
Highlight2 = new Image();
Highlight2.src = "img/menue2_over.jpg";

Normal3 = new Image();
Normal3.src = "img//menue3.jpg";
Highlight3 = new Image();
Highlight3.src = "img/menue3_over.jpg";



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