browser = (((navigator.appName == "Netscape") &&
(parseInt(navigator.appVersion) >= 3 )) || ((navigator.appName ==
"Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 3 )))



// preload universal images:
if (browser){
off1 = new Image(60,30);
off1.src= "images/nav01off.gif";
on1 = new Image(60,30);
on1.src= "images/nav01on.gif";

off2 = new Image(80,30);
off2.src= "images/nav02off.gif";
on2 = new Image(80,30);
on2.src= "images/nav02on.gif";

off3 = new Image(78,30);
off3.src= "images/nav03off.gif";
on3 = new Image(78,30);
on3.src= "images/nav03on.gif";

off4 = new Image(111,30);
off4.src= "images/nav04off.gif";
on4 = new Image(111,30);
on4.src= "images/nav04on.gif";

off5 = new Image(85,30);
off5.src= "images/nav05off.gif";
on5 = new Image(85,30);
on5.src= "images/nav05on.gif";

off6 = new Image(111,30);
off6.src= "images/nav06off.gif";
on6 = new Image(111,30);
on6.src= "images/nav06on.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 (browser){document.images[imgDocID].src = eval(imgObjName + ".src")
}}

// -->