// JavaScript Document


i01 = new Image();
i01.src = "/img/empty.gif"; /* normale-Grafik */
i02 = new Image();
i02.src = "/img/seat_adjust1_big.jpg"; /* Highlight-Grafik */
i03 = new Image();
i03.src = "/img/seat_adjust2_big.jpg"; /* Highlight-Grafik */


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")
}