function main_show(id) {
  var doc = document.getElementById(id);
  if(doc) {
    doc.style.visibility = "visible";
  }
}
function main_hide(id) {
  var doc = document.getElementById(id);
  if(doc) {
    doc.style.visibility = "hidden";
  }
}