<!--
// check if the browser is Navigator 3 or higher:
agent = navigator.userAgent;
browserVer = 2;
if (agent.substring(0,7) == "Mozilla")
{
    if (parseInt(agent.substring(8,9)) >= 3) {browserVer = 1;}
}
// preload universal images:
if (browserVer == 1) {

nav2off = new Image(22,20);
nav2off.src = "../../images/nav2off.gif";
nav2on = new Image(22,20);
nav2on.src = "../../images/nav2on.gif";

nav3off = new Image(21,20);
nav3off.src = "../../images/nav3off.gif";
nav3on = new Image(21,20);
nav3on.src = "../../images/nav3on.gif";

nav4off = new Image(20,20);
nav4off.src = "../../images/nav4off.gif";
nav4on = new Image(20,20);
nav4on.src = "../../images/nav4on.gif";

nav5off = new Image(22,20);
nav5off.src = "../../images/nav5off.gif";
nav5on = new Image(22,20);
nav5on.src = "../../images/nav5on.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")
}}
// -->