// JavaScript Document

function nascondi(id)
{

if (document.getElementById) elemento = document.getElementById(id);  else elemento = document.all[id];
if (elemento != null) elemento.style.display = "none";
		
}

function muovisotto(id)
{
if (document.getElementById) elemento = document.getElementById(id);  else elemento = document.all[id];
if (elemento != null) elemento.style.marginTop = "240px";
}

function muovisopra(id)
{
if (document.getElementById) elemento = document.getElementById(id);  else elemento = document.all[id];
if (elemento != null) elemento.style.marginTop = "0px";
}

function showhide(id)
{
if (document.getElementById) elemento = document.getElementById(id);  else elemento = document.all[id];
if (elemento.style.display == "none") elemento.style.display = "block"; else elemento.style.display = "none";
}

function hideall()
{
if (document.getElementById) elemento = document.getElementById('menubutton1'); else elemento = document.all['menubutton1'];  elemento.style.display = "none";
if (document.getElementById) elemento = document.getElementById('menubutton2'); else elemento = document.all['menubutton2'];  elemento.style.display = "none";
if (document.getElementById) elemento = document.getElementById('menubutton3'); else elemento = document.all['menubutton3'];  elemento.style.display = "none";
if (document.getElementById) elemento = document.getElementById('menubutton4'); else elemento = document.all['menubutton4'];  elemento.style.display = "none";		
if (document.getElementById) elemento = document.getElementById('menubutton5'); else elemento = document.all['menubutton5'];  elemento.style.display = "none";		
if (document.getElementById) elemento = document.getElementById('menubutton6'); else elemento = document.all['menubutton6'];  elemento.style.display = "none";		
if (document.getElementById) elemento = document.getElementById('menubutton7'); else elemento = document.all['menubutton7'];  elemento.style.display = "none";		
if (document.getElementById) elemento = document.getElementById('menubutton8'); else elemento = document.all['menubutton8'];  elemento.style.display = "none";	
if (document.getElementById) elemento = document.getElementById('menubutton9'); else elemento = document.all['menubutton9']; if (elemento != null)  elemento.style.display = "none";					
}

function showmenu(id)
{
	

if (document.getElementById) elemento = document.getElementById(id);  else elemento = document.all[id];
if (elemento != null) elemento.style.display = "block"; 

}