<!--function bildwechsel (Bildnr, Bildobjekt) { window.document.images[Bildnr].src = Bildobjekt.src; }normal2 = new Image(); normal2.src = "normal2.gif"; highlight2 = new Image(); highlight2.src = "2sk.jpg"; normal3 = new Image(); normal3.src = "normal3.gif";highlight3 = new Image(); highlight3.src = "3sk.jpg"; normal4 = new Image(); normal4.src = "normal4.gif";highlight4 = new Image(); highlight4.src = "4sk.jpg"; //-->
