// Some variables

var base= "gfx/nav/"
var nav_01 = new Array();
var nav_02 = new Array();
var stuff = new Array('a','b','c','d','e','f','g','nl','de','en');

// Pre-load part.
if (document.images)
{
	for (i=0;i<stuff.length;i++)
	{
		nav_01[i] = new Image;
		nav_01[i].src = base + stuff[i] + ".gif"
		nav_02[i] = new Image;
		nav_02[i].src = base + stuff[i] + "a.gif";
	}
}

// The functions: first mouseover, then mouseout
function over(no)
{
	if (document.images)
	{
		document.images[stuff[no]].src = nav_02[no].src
	}
}
function out(no)
{
	if (document.images)
	{
		document.images[stuff[no]].src = nav_01[no].src
	}
}