function swapLinkClassOver(link_name)
	{
	document.getElementById(link_name).className='nav_over';
	}
function swapLinkClassOut(link_name)
	{
	document.getElementById(link_name).className='nav';
	}