function Hover( n, name )
{
		if(n==1) {name.style.background = "silver";}    
		if(n==2) {name.style.background = "gray";}          
}

function show_sub(n)
{
		if(n==0) {document.getElementById("submenu").style.visibility = "hidden";}
		if(n==1) {document.getElementById("submenu").style.visibility = "visible";}
}

function show_map(n)
{	
		if(n==0) {document.getElementById("map").style.visibility = "hidden";}
		if(n==1) {document.getElementById("map").style.visibility = "visible";}
}