function showDate(name, date) {
  document.getElementById("show_name").innerHTML=name;
  document.getElementById("show_date").innerHTML=date;
  document.getElementById("show_name").style.visibility = "visible";
  document.getElementById("show_date").style.visibility = "visible";
}

function hideDate() {
  document.getElementById("show_name").style.visibility = "hidden";
  document.getElementById("show_date").style.visibility = "hidden";
}

function showLogin() {
  document.getElementById("info_repeat").style.visibility = "visible";
  document.choose_form.choose_reg_num.focus();
}