







i04 = new Image();



i04.src = "gifs/haus.jpg"; /* normale-Grafik */



i05 = new Image();



i05.src = "gifs/haus2.jpg"; /* Highlight-Grafik */















function hiLite(imgID,imgObjName) {



// imgID - Name des auszutauschenden Bildes



// imgObjName - Name des Bildes mit dem ausgetauscht wird



document.images[imgID].src = eval(imgObjName + ".src")



}

