	var oActiveMenu;	function toggle(menu)	{		// Hide any active menus		if (oActiveMenu)		{			oActiveMenu.style.display = "none";		}		// Get the current submenu		var oMenu = document.getElementById(menu + "submenu");		// Show it		oMenu.style.display = "inline";		// Set current submenu to active		oActiveMenu = oMenu;		return true;	}