function initializeMenu(menuId, actuatorId)
	{var menu = document.getElementById(menuId);
	var actuator = document.getElementById(actuatorId);
    if (menu == null || actuator == null) return;
    actuator.onclick = function()
		{var display = menu.style.display;
        menu.style.display = (display == "block") ? "none" : "block"; return false;}}
function openMenu(menuId)
	{var menu = document.getElementById(menuId);   
    menu.style.display = "block"; return false;}