function el (id) {
   return document.getElementById(id);
}

function pop (id) {
   var div = el(id);
   if (!div) {
      alert("pop: bad div: " + id);
      return false;
   }
   if (div.style.display == "none") {
      div.style.display = ""
   } else {
      div.style.display = "none";
   }
}