function toggleVis(element_id) {
  var el = document.getElementById(element_id);
  if (el.style.display=='none') {
    el.style.display = 'block';
  } else {
    el.style.display = 'none';
  }
  return 1;
}