function menu_onmouseover_show(id) {
  document.getElementById(id).style.display="block";
} 
function menu_onmouseout_show(id) {
  document.getElementById(id).style.display="none";
}