var tempo=0;


	function mostrar_menu(menu){
		var subMenu = document.getElementById(menu);
		subMenu.style.visibility = 'visible';
		clearTimeout(tempo);
	}

	function ocultar_menu(menu){
		var subMenu = document.getElementById(menu);
		subMenu.style.visibility = 'hidden';
	}
		
	function ocultar_retarda(menu){

		switch(menu){
			case 100:
					tempo=setTimeout("ocultar_menu(100);",100);
					break;
			case 101:
					tempo=setTimeout("ocultar_menu(101);",100);
					break;
			default:
					tempo=setTimeout("ocultar_menu(100);",100);
					tempo=setTimeout("ocultar_menu(101);",100);
					break;
		}
	}