Normal1 = new Image(); Normal1.src = "images/menue1_ia.gif"; Highlight1 = new Image(); Highlight1.src = "images/menue1_a.gif";
Normal2 = new Image(); Normal2.src = "images/menue2_ia.gif"; Highlight2 = new Image(); Highlight2.src = "images/menue2_a.gif";
Normal3 = new Image(); Normal3.src = "images/menue3_ia.gif"; Highlight3 = new Image(); Highlight3.src = "images/menue3_a.gif";
Normal4 = new Image(); Normal4.src = "images/menue4_ia.gif"; Highlight4 = new Image(); Highlight4.src = "images/menue4_a.gif";
Normal5 = new Image(); Normal5.src = "images/menue5_ia.gif"; Highlight5 = new Image(); Highlight5.src = "images/menue5_a.gif";

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