Normal1 = new Image();Normal1.src = "objekt.jpg";  Highlight1 = new Image();Highlight1.src = "bild1-gross.jpg"; 
Normal2 = new Image();Normal2.src = "objekt.jpg";  Highlight2 = new Image();Highlight2.src = "bild2-gross.jpg"; 
Normal3 = new Image();Normal3.src = "objekt.jpg";  Highlight3 = new Image();Highlight3.src = "bild3-gross.jpg"; 
Normal4 = new Image();Normal4.src = "objekt.jpg";  Highlight4 = new Image();Highlight4.src = "bild4-gross.jpg"; 
Normal5 = new Image();Normal5.src = "objekt.jpg";  Highlight5 = new Image();Highlight5.src = "bild5-gross.jpg"; 
function Bildwechsel (Bildnr, Bildobjekt) {  window.document.images[7].src = Bildobjekt.src; }