//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_about_off.gif";
button1on = new Image();
button1on.src = "images/buttons/b_about_on.gif";

button2 = new Image();
button2.src = "images/buttons/b_commit_off.gif";
button2on = new Image();
button2on.src = "images/buttons/b_commit_on.gif";

button3 = new Image();
button3.src = "images/buttons/b_tech_off.gif";
button3on = new Image();
button3on.src = "images/buttons/b_tech_on.gif";

button4 = new Image();
button4.src = "images/buttons/b_success_off.gif";
button4on = new Image();
button4on.src = "images/buttons/b_success_on.gif";

button5 = new Image();
button5.src = "images/buttons/b_partners_off.gif";
button5on = new Image();
button5on.src = "images/buttons/b_partners_on.gif";

button6 = new Image();
button6.src = "images/buttons/b_press_off.gif";
button6on = new Image();
button6on.src = "images/buttons/b_press_on.gif";

button7 = new Image();
button7.src = "images/buttons/b_contact_off.gif";
button7on = new Image();
button7on.src = "images/buttons/b_contact_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 (browserVer == 1) {
document.images[imgDocID].src = eval(imgObjName + ".src")
}}