
<!--
function showmenu(element) {
  document.getElementById('0').className = "";
  document.getElementById(element).className = "show";
}

function hidemenu() {
  document.getElementById('0').className = "";
}
//-->