function toggleInfoBar(info) {
  ib = document.getElementById("infobar");
  if (ib.style.display == "none") {
    ib.style.display = "block";
    ib.innerHTML = info;
  } else {
    ib.style.display = "none";
  }
}