// masquer toutes les divs du menu et afficher celle qu'on veut

var old_menuover = 0;
var menu_in = 0;

function showhideMenu(m) {
  for(i=1;i<6;i++) {
    n= 'div_menu_' + i;
    d = document.getElementById(n);
    d.style.display = 'none';
  }    
  if(m > 0) {
    d = document.getElementById('div_menu_' + m);
    d.style.display = '';
  }
}

function mouseoverMenu(m) {
  if(old_menuover > 0) {
    MM_swapImage('menu'+ old_menuover,'','imgs/_nav/menu_'+ old_menuover +'.gif',1)
  }
  MM_swapImage('menu'+m,'','imgs/_nav/menu_'+m+'_over.gif',1);
  showhideMenu(m);
  old_menuover = m;
}

function mouseoutMenu(m) {
  // si on est vraiment hors du menu
  if(menu_in == 0) {
    MM_swapImgRestore();
    showhideMenu(0);
  }
}

// on indique a une var global si on est in ou out du menu.
//si out, on va agir en conséquence mais dans  10ms au cas ou on revienne dans le menu
function menu_inout(v) {
  menu_in = v;
  // si on nous dit qu'on sort alors on met un settimeout pour vérifier que c'est vrai dans 10ms.
  if(v == 0) {
     window.setTimeout("mouseoutMenu(0)",100);
  }
}