function showMM(index) {
	var node = document.getElementById("menu_main_" + index);
	if (node != null ) document.getElementById("menu_main_" + index).style.visibility = "visible";
}

function hideMM(index) {
	var node = document.getElementById("menu_main_" + index);
	if (node != null ) document.getElementById("menu_main_" + index).style.visibility = "hidden";
}