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

button2 = new Image();
button2.src = "images/buttons/b_gallery_off.gif";
button2on = new Image();
button2on.src = "images/buttons/b_gallery_on.gif";

button3 = new Image();
button3.src = "images/buttons/b_collection_off.gif";
button3on = new Image();
button3on.src = "images/buttons/b_collection_on.gif";

button4 = new Image();
button4.src = "images/buttons/b_search_off.gif";
button4on = new Image();
button4on.src = "images/buttons/b_search_on.gif";

button5 = new Image();
button5.src = "images/buttons/b_specification_off.gif";
button5on = new Image();
button5on.src = "images/buttons/b_specification_on.gif";

button6 = new Image();
button6.src = "images/buttons/b_agent_off.gif";
button6on = new Image();
button6on.src = "images/buttons/b_agent_on.gif";

button7 = new Image();
button7.src = "images/buttons/b_press_off.gif";
button7on = new Image();
button7on.src = "images/buttons/b_press_on.gif";

button8 = new Image();
button8.src = "images/buttons/b_whatsnew_off.gif";
button8on = new Image();
button8on.src = "images/buttons/b_whatsnew_on.gif";

button9 = new Image();
button9.src = "images/buttons/b_contact_off.gif";
button9on = new Image();
button9on.src = "images/buttons/b_contact_on.gif";

button10 = new Image();
button10.src = "images/buttons/b_sitemap_off.gif";
button10on = new Image();
button10on.src = "images/buttons/b_sitemap_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")
}}