_lastmenu=null;

function toggleSubMenu(m) {
		var menu=document.getElementById('submenu'+m);
		menu.style.display=(menu.style.display === 'none') ? '' : 'none';
		if (_lastmenu !== null && _lastmenu !== menu)
			_lastmenu.style.display='none';
		_lastmenu=menu;
}