function toggle_div(div_name) {
  if (document.getElementById(div_name).style.display=="none") {
    document.getElementById(div_name).style.display = "";
  } else {
    document.getElementById(div_name).style.display = "none";
  }
}