function mT(id){document.getElementById(id).style.visibility='visible'; }
  function mF(id){document.getElementById(id).style.visibility='hidden'; }