var base= "/images/button_"
var nrm = new Array();
var omo = new Array();
var stuff = new Array('print','email');

// 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
	}
}


// dropdown navigation

function go()
{
	box = document.forms['switcher'].navifunctie;
	destination = box.options[box.selectedIndex].value;
	if (destination) location.href = destination;
}

function go2()
{
	box2 = document.forms['switcher'].navirisico;
	destination2 = box2.options[box2.selectedIndex].value;
	if (destination2) location.href = destination2;
}