<!--
var global_last_submenu = null;

function displaySubMenu(subMenu_id)
{
	var subMenuObject = document.getElementById("submenu" + subMenu_id);
	
	if (global_last_submenu != null)
	{
		hideSubMenu(global_last_submenu);
	}
	
	//subMenuObject.style.display = "block";
	subMenuObject.style.display = "inline";
	global_last_submenu = subMenu_id;
}


function hideSubMenu()
{
	if (global_last_submenu != null)
	{
		var subMenuObject = document.getElementById("submenu" + global_last_submenu);
		subMenuObject.style.display = "none";
	}
}
-->