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;
        this.parentNode.style.backgroundImage = (display == "block") ? "url('img/mTancat.gif')" : "url('img/mObert.gif')";
        menu.style.display = (display == "block") ? "none" : "block"; return false;}}
function openMenu(menuId)
	{var menu = document.getElementById(menuId);
    menu.parentNode.style.backgroundImage = "url('img/mObert.gif')";
    menu.style.display = "block"; return false;}