var submenus = new Array();

function show_menu(nr)
{
	close_all();
	document.getElementById("menu"+nr).style.display = "block";
}
function close_all()
{
	for(i=0; i<submenus.length; i++)
	{
		if(document.getElementById("menu"+submenus[i]))
		{
			document.getElementById("menu"+submenus[i]).style.display = "none";
		}
	}
}