function showMenu(menu){
	var element = document.getElementById(menu);
	if(element != null){
		element.style.visibility="visible";
		for (var i=0; i < element.childNodes.length; i++){
			if(element.childNodes[i].nodeName != "#text"){
				element.childNodes[i].style.visibility="visible";
			}
		}
	}
}
function hideMenu(menu){
	var element = document.getElementById(menu);
	if(element != null){
		element.style.visibility="hidden";
		for (var i=0; i < element.childNodes.length; i++){
			if(element.childNodes[i].nodeName != "#text"){
				element.childNodes[i].style.visibility="hidden";
			}
		}
	}
}