var base= "pix/"
var nrm = new Array();
var omo = new Array();
var stuff = new Array('nav1','nav2','nav3','nav4','nav5','nav6','nav7','nav8');

// Pre-load part.

if (document.images)
{
	for (i=0;i<stuff.length;i++)
	{
		nrm[i] = new Image;
		nrm[i].src = base + stuff[i] + ".gif"
		omo[i] = new Image;
		omo[i].src = base + stuff[i] + "_mo.gif";
	}
}


// The functions: first mouseover, then mouseout

function over(no)
{
	if (document.images)
	{
		document.images[stuff[no]].src = omo[no].src
	}
}

function out(no)
{
	if (document.images)
	{
		document.images[stuff[no]].src = nrm[no].src
	}
}

function removeFocus(button){
if (window.opera){ return;}
else if (document.all || document.getElementById)
{ button.blur(); }
}