// browser test:
	theBrowser = navigator.userAgent

	nVerBrowser = 1

	if ( navigator.appName.substring(0,9) == "Microsoft" )
	{
		nVerBrowser = 1;
	}
	else if (Math.round(parseFloat(navigator.appVersion) * 1000) > 2000) 
	{
		nVerBrowser = 1
	}
	else 
	{
		nVerBrowser = 1
	}

	// load reused images. Be sure that the image size matches the HTML tags.
	if (nVerBrowser == 1) 
	{
		btn1 = new Image(125,27);
		btn1.src = "interface/demooff.gif";

		btn1Active = new Image(125,27);
		btn1Active.src = "interface/demoovr.gif";

		btn1Click = new Image(125,27);
		btn1Click.src = "interface/demoovr.gif";

		btn2 = new Image(90,27);
		btn2.src = "interface/compoff.gif";

		btn2Active = new Image(90,27);
		btn2Active.src = "interface/compovr.gif";

		btn2Click = new Image(90,27);
		btn2Click.src = "interface/compovr.gif";

		btn3 = new Image(96,27);
		btn3.src = "interface/loginoff.gif";

		btn3Active = new Image(96,27);
		btn3Active.src = "interface/loginovr.gif";

		btn3Click = new Image(96,27);
		btn3Click.src = "interface/loginovr.gif";

		btn4 = new Image(170,58);
		btn4.src = "interface/soluoff.gif";

		btn4Active = new Image(170,58);
		btn4Active.src = "interface/soluovr.gif";

		btn4Click = new Image(170,58);
		btn4Click.src = "interface/soluovr.gif";

		btn5 = new Image(103,35);
		btn5.src = "interface/contoff.gif";

		btn5Active = new Image(103,35);
		btn5Active.src = "interface/contovr.gif";

		btn5Click = new Image(103,35);
		btn5Click.src = "interface/contovr.gif";

		btn6 = new Image(105,35);
		btn6.src = "interface/homeoff.gif";

		btn6Active = new Image(105,35);
		btn6Active.src = "interface/homeovr.gif";

		btn6Click = new Image(105,35);
		btn6Click.src = "interface/homeovr.gif";
		
	}


//////////////////////////
// handle mouseOver events
//  theImageID		name (or number) of the image to be updated
//  theImageName	name of the image to be used
/////////////////////////
// example: in a href  onMouseOver="doImageFocus('web3d','btn1Active')" onMouseOut="doImageFocus('web3d','btn1')" 
// 				onMouseDown="doImageFocus('web3d','btn1Click')"
function doImageFocus(theImageID,theImageName) 
{
	if (nVerBrowser == 1) 
	{
		document.images[theImageID].src = eval(theImageName + ".src")
	}
}