// JavaScript Document
function sh(what) {
    if(document.getElementById(what).style.visibility == "hidden") {
      document.getElementById(what).style.visibility = "visible";
    } else {
      document.getElementById(what).style.visibility = "hidden";
    }
}