function toggle_visibility(tblid, show) {
  if (tbl = document.getElementById(tblid)) {
   if (null == show) show = tbl.style.display == 'none';
   tbl.style.display = (show ? '' : 'none');
  }
 }