function navover(nav)
{
	document[nav].src = '/images/nav_'+nav+'2.png';
} 


function navout(nav)
{
	document[nav].src = '/images/nav_'+nav+'.png';
}