// JavaScript Document
function onnavOver(element)
{
	var imgnum = "navimg" + element;
	var newimage = "/images/navigationd_0" + element + ".png";
	document.getElementById(imgnum).src = newimage;
}

function onnavOut(element)
{
	var imgnum = "navimg" + element;
	var newimage = "/images/navigation_0" + element + ".png";
	document.getElementById(imgnum).src = newimage;
}