// browser test:
agent = navigator.userAgent
browserVer = 2
if (agent.indexOf("a/3",6) == -1 && agent.indexOf("a/4",6) == -1) {browserVer = 2}
else {browserVer = 1}

//preload images
if (browserVer == 1) {

}

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

function hideDiv(){
	var obj;
	obj = document.getElementById('mydiv');
	if(obj) obj.style.visibility ='hidden';
}

function unhideDiv(){
	var obj;
	obj = document.getElementById('mydiv');
	if(obj) obj.style.visibility ='visible';
}