<!--
i12 = new Image();
i12.src = "Buttenzurueckaus.gif"; /* Standard-Grafik */
i12h = new Image();
i12h.src = "Buttenzurueckan.gif"; /* Highlight-Grafik */

// hier einfach nach Bedarf erweitern mit
// i05 = new ...
function hiLite(imgID,imgObjName) {
// imgID - Name oder Nummer des auszutauschenden Bildes
// imgObjName - Name des Bildes mit dem ausgetauscht wird
document.images[imgID].src = eval(imgObjName + ".src")
}
//-->