var cur_menu = null,

     cur_call = null;



  function showMenu(num) {

    showLayer("menu" + num.toString());

    setImageSrc('g_nav_' + num, 'images/g_nav_' + num + '_over.gif', 'session' + num);

  }



  function hideMenu(num) {

    hideLayer("menu" + num.toString());

    setImageSrc('g_nav_' + num, 'images/g_nav_' + num + '.gif', 'session' + num);

  }



  function menuEnter(num) {



   if (num != cur_menu) {



    if (cur_menu)  hideMenu(cur_menu);

     killCleanUp();



     showMenu(num);

     cur_menu = num;

   }



  }





  function menuCleanUp() {

   if (cur_menu) {

     hideMenu(cur_menu);

     cur_menu = null;

     killCleanUp();

   }

  }



  function killCleanUp() {

   if (cur_call)  clearTimeout(cur_call);

  }



  function menuExit() {

    killCleanUp();

    cur_call = setTimeout("menuCleanUp()", 500);

  }