var shownMenu = -1;
var inMenu = 0;

function PopupMenu(idx) {
	if (shownMenu == idx) return;
	if (shownMenu != -1) DoCloseMenu(shownMenu);
	var menu=document.getElementById('menu'+idx);
	menu.style.display='block';
	shownMenu = idx;
	inMenu = 1;
}

function InMenu(idx) {
	inMenu = 1;
}

function CloseMenu(idx) {
	inMenu = 0;
	setTimeout("if (!inMenu) DoCloseMenu(\""+idx+"\")", 1000);
}

function DoCloseMenu(idx) {
	var menu=document.getElementById('menu'+idx);
	menu.style.display='none';
	if (shownMenu == idx) shownMenu = -1;
}