var savename;
	
	function SetNavClass()
	{
			document.getElementById(savename).className='side_navSel';
	
	}
	function SetSel(topname)
	{
		savename = topname;
		SetNavClass();
		document.getElementById(topname).onmouseout=SetNavClass;
	}

	function SetSelHidden()
	{
		savename = document.getElementById('getnavid').value;
		SetNavClass();
		document.getElementById(savename).onmouseout=SetNavClass;
		
	}