// JavaScript Document

i01 = new Image();
i01.src = "../images/grau.gif"; /* normale-Grafik */
i02 = new Image();
i02.src = "../images/space.gif"; /* Highlight-Grafik */
i03 = new Image();

function hiLite(imgID,imgObjName) {
// imgID - Name des auszutauschenden Bildes z.B. foto2
// imgObjName - Name des Bildes mit dem ausgetauscht wird z.B. i02
document.images[imgID].src = eval(imgObjName + ".src")
}