// Simple functions to show and hide menus

function show_menu(id) {
   var e = document.getElementById(id);
   e.style.display = 'block';
}

function hide_menu(id) {
   var e = document.getElementById(id);
   e.style.display = 'none';
}