function show_submenu(){
  document.getElementById('submenu').style.visibility='visible';
}

function hide_submenu(){
  document.getElementById('submenu').style.visibility='hidden';
}

function hide_ads(){
  document.getElementById('banner').style.visibility = 'hidden';
}