var menu_delay_timer = null;
function menu_delay_exit()
{
  if (menu_delay_timer != null)
  {
    clearTimeout(menu_delay_timer);
    if (over)
      nd(750);
  }
}