var menu_timer;


function timer_zrus()
{
  if (menu_timer) window.clearInterval(menu_timer);
}


function menu_zobraz(id)
{
  menu_skryj_('m1');
  menu_skryj_('m2');
  menu_skryj_('m3');

  document.getElementById(id).style.display = 'inline';
  menu_skryj(id);
}


function menu_skryj(id)
{
  timer_zrus();
  menu_timer = setTimeout('menu_skryj_("' + id + '")', 1500);
}


function menu_skryj_(id)
{
  document.getElementById(id).style.display = 'none';
}