function on (Element) {
  if (document.getElementById)
    document.getElementById(Element).style.visibility = "visible";
}

function off (Element) {
  if (document.getElementById)
    document.getElementById(Element).style.visibility = "hidden";
}