// useful javascript functions

  function makeVisible(id) {
    var thing = document.getElementById(id);
    thing.style.display="inline";
  }

  function makeInvisible(id) {
    var thing = document.getElementById(id);
    thing.style.display="none";
  }