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

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