function menu(bodyElement, elementStat) {
  if (document.getElementById) { 
    document.getElementById(bodyElement).style.visibility = elementStat;
  }
  else {
    if (document.layers) { 
      eval('document.bodyElement.visibility') = elementStat;
    }
    else { 
      eval('document.all.bodyElement.style.visibility') = elementStat;
    }
  }
}