
<!--
// browser test:
agent = navigator.userAgent
browserVer = 2
if (agent.indexOf("a/3",6) == -1) {browserVer = 2}
else {browserVer = 1}
if (navigator.appVersion.charAt(0)>=3) {browserVer = 1}

// preload universal images:
if (browserVer == 1) {
nav1 = new Image(120,21);
nav1.src = "/images/nav/nav1_on.gif";
nav1off = new Image(120,21);
nav1off.src = "/images/nav/nav1_off.gif";
nav2 = new Image(120,21);
nav2.src = "/images/nav/nav2_on.gif";
nav2off = new Image(120,21);
nav2off.src = "/images/nav/nav2_off.gif";
nav3 = new Image(120,21);
nav3.src = "/images/nav/nav3_on.gif";
nav3off = new Image(120,21);
nav3off.src = "/images/nav/nav3_off.gif";
nav4 = new Image(120,21);
nav4.src = "/images/nav/nav4_on.gif";
nav4off = new Image(120,21);
nav4off.src = "/images/nav/nav4_off.gif";
nav5 = new Image(120,21);
nav5.src = "/images/nav/nav5_on.gif";
nav5off = new Image(120,21);
nav5off.src = "/images/nav/nav5_off.gif";
nav6 = new Image(120,21);
nav6.src = "/images/nav/nav6_on.gif";
nav6off = new Image(120,21);
nav6off.src = "/images/nav/nav6_off.gif";
}
function hiLite(imgDocID,imgObjName) {
// manages mouseOver animations
//   imgDocID - the name or number of the document image to be replaced
//   imgObjName - the name of the image object to be swapped in

if (browserVer == 1) {
document.images[imgDocID].src = eval(imgObjName + ".src")
}}
// -->