var foco = 0;

function muestraMenu() {
foco=1;
var all = new Array(); 
    var all=document.getElementById("menu").getElementsByTagName("LI");
	for (i=0; i<all.length; i++) {
      if (all[i].className=="flop")
		   if (all[i].style.visibility=='visible') all[i].style.visibility='hidden';
		   else all[i].style.visibility='visible';
        }//Fin for
}
function activaFoco() {
if (foco==0){
	foco=1;
}       
} 

function desactivaFoco() {
if (foco==1){
	foco=0;
}       
}
function desactivaMenu(){
var len;
if (foco==0){
var all=document.getElementById("menu").getElementsByTagName("LI");
len=all.length;

	for (i=0; i<len; i++) {
      if (all[i].className=="flop")
		   all[i].style.visibility='hidden';
        }//Fin for
}

}