function menu(a, b, c, d, e) {
  document.getElementById(a).style.display="none";
  document.getElementById(b).style.display="none";
  document.getElementById(c).style.display="none";
  document.getElementById(d).style.display="none";
  document.getElementById(e).style.display="block"; };

function ConfirmRedirect (msg,path) {
  if (window.confirm(msg)) {
    location.href = path;
  };
}