function toggle(a) {
  if (a.style.display == "none") {
    a.style.display = "";
  } else {
    a.style.display = "none";
  }
}