<!--
Normal1 = new Image();
Normal1.src = "pics/f-sm.png";
Highlight1 = new Image();
Highlight1.src = "pics/f-smm.png";

Normal2 = new Image();
Normal2.src = "pics/sd1.jpg";    
Highlight2 = new Image();
Highlight2.src = "pics/sd2.jpg"; 

function hiLite(imgID,imgObjName) {
// imgID - Name des auszutauschenden Bildes
// imgObjName - Name des Bildes mit dem ausgetauscht wird
document.images[imgID].src = eval(imgObjName + ".src")
}
//-->