function showmenu(elmnt) {
 document.getElementById(elmnt).style.visibility="visible";
}

function hidemenu(elmnt) {
  document.getElementById(elmnt).style.visibility="hidden";
}

function pause(millis) {
  date = new Date();
  var curDate = null;
  
  do {
    var curDate = new Date();
  }
  while(curDate-date < millis);
}