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(150,30);
off1.src= "images/button1_off.gif";
on1 = new Image(150,30);
on1.src= "images/button1_on.gif";

off2 = new Image(150,40);
off2.src= "images/button2_off.gif";
on2 = new Image(150,40);
on2.src= "images/button2_on.gif";

off3 = new Image(150,40);
off3.src= "images/button3_off.gif";
on3 = new Image(150,40);
on3.src= "images/button3_on.gif";

off4 = new Image(150,40);
off4.src= "images/button4_off.gif";
on4 = new Image(150,40);
on4.src= "images/button4_on.gif";

off5 = new Image(150,40);
off5.src= "images/button5_off.gif";
on5 = new Image(150,40);
on5.src= "images/button5_on.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")
}}

// -->