function manageMenu(id)
{

  var menu_to_hide = document.getElementById(id);
  if (menu_to_hide.style.display == 'none')
    menu_to_hide.style.display = 'block';
  else
    menu_to_hide.style.display = 'none';
}