function show(menu) {
	divPointer = "submenu" + menu;
	document.getElementById(divPointer).style.visibility="visible";
}

function hide(menu) {
	divPointer = "submenu" + menu;
	document.getElementById(divPointer).style.visibility="hidden";
}