<!-- blah --> 
var ref = document.location.toString();
f1 = ref.substring(ref.lastIndexOf("/") + 1);
f2 = f1.substring(f1.indexOf("_"));
l1 = f1.length - f2.length;
f3 = f1.substring(0,l1);
curr_sess = f3.replace("ses","");
<!-- -->

 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());

    if(num != curr_sess)
    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);

  }