function showPanel(panel_id, num_panels) {
  for (i=1; i<=num_panels; i++) {
    if (i != panel_id)
      document.getElementById("panel" + i.toString()).style.display = "none";
    else
      document.getElementById("panel" + i.toString()).style.display = "block";
  }
}