//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) {
button1 = new Image();
button1.src = "images/buttons/b_home_off.jpg";
button1on = new Image();
button1on.src = "images/buttons/b_home_on.jpg";

button2 = new Image();
button2.src = "images/buttons/b_products_off.jpg";
button2on = new Image();
button2on.src = "images/buttons/b_products_on.jpg";

button3 = new Image();
button3.src = "images/buttons/b_ourteam_off.jpg";
button3on = new Image();
button3on.src = "images/buttons/b_ourteam_on.jpg";


}

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")
}}