function NavOn(name)
{
	document.getElementById("nav_"+name).src = 'images/nav_'+name+'_on.jpg';
}
function NavOff(name)
{
	document.getElementById("nav_"+name).src = 'images/nav_'+name+'.jpg';
}