/*** ULTIMO AGGIORNAMENTO: 19-03-2010 ***/
/* 
Storico modifiche:
20100319: Prima release
*/

function startmenu()
{
    tot = document.getElementById('num_menu').value;
    for (i = 1; i <= tot; i++)
        if (document.getElementById('menu_'+i))
	        document.getElementById('menu_'+i).style.display = "none";
}

function menufunc(menuId)
{
	if(document.getElementById(menuId).style.display == "none")
	{
		startmenu();
		document.getElementById(menuId).style.display = "block";
	}
	else
	{
		startmenu();
	}
}

