function hover(item) {
	link=document.getElementById(item);
	menu=document.getElementById("nav");
	linki=menu.getElementsByTagName("A");
	for (var j=0; j<linki.length; j++)
		{
         linki[j].style.color="#034E7B";
         linki[j].style.backgroundColor="#E6E6E6";
		}
	link.style.color="#E6E6E6";
	link.style.backgroundColor="#034E7B";
	}
	
function hoverS(item)
	{
		/*link=document.getElementById(item);
		link.style.backgroundColor="#F6F6F6";
		link.style.color="#034E7B";*/
	}