agent = navigator.userAgent;browserVer = 2;
if (agent.substring(0,7) == "Mozilla") {
 if (parseInt(agent.substring(8,9)) >= 3) {browserVer = 1;}
 }
if (browserVer == 1) {
 AN = new Image(23,24);
 AN.src = "vor1.gif";
 AUS = new Image(23,24);
 AUS.src = "vor.gif";
 AN1= new Image(23,24);
 AN1.src = "zuruck1.gif";
 AUS1 = new Image(23,24);
 AUS1.src = "zuruck.gif";
 }

function hiLite(imgDocID,imgObjName) {
 if (browserVer == 1) {
 document.images[imgDocID].src = eval(imgObjName + ".src")
 }}