if (document.getElementById)
{
	document.write('<style type="text/css">\n')
	document.write('.menu_int{display: none;}\n')
	document.write('</style>\n')
}

function SwitchMenu(obj)
{
  if(document.getElementById)
  {
		var el = document.getElementById(obj);
		var ar = document.getElementById("principale").getElementsByTagName("span");
		
			if(el.style.display != "block")
			{
				for (var i=0; i<ar.length; i++)
				{
					if (ar[i].className=="menu_int")
					ar[i].style.display = "none";
				}
				
				el.style.display = "block";
			}
			else
			{
				el.style.display = "none";
			}
	}
}