function _toggle_menu()
{
 var menu = document.getElementById('menu');
 if (menu.style.display == 'none')
  menu.style.display = 'table';
 else
  menu.style.display = 'none';
}