function hideInfoBox(boxid) {
  document.getElementById(boxid).style.display = 'none';
}
function showInfoBox(boxid) {
  document.getElementById(boxid).style.display = 'block';
}