// JavaScript Document
agent = navigator.userAgent;
browserVer = 2;
if (agent.substring(0,7) == "Mozilla") {
	if (parseInt(agent.substring(8,9)) >= 3) {
		browserVer = 1;
    	}
}
if (browserVer == 1) {
	A1 = new Image(44, 44);
	A1.src = "images/Boompje_cirkel.png";
	A2 = new Image(44, 44);
	A2.src = "images/Boompje_cirkel_n.png";
}

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