<!-- hide script from old browsers

// JAW menu navigation 
// 20061103 Original released for use
//
//alert(txt); // no it's not messagebox or msgbox, it is alert!

function nav(nav, name) {
   if (nav == 'show') {
      if (document.getElementById('all_' + name)) {document.getElementById('all_' + name).style.display = 'block';}
      document.getElementById('hide_' + name).style.display = 'block';
      document.getElementById('show_' + name).style.display = 'none';
   }
   if (nav == 'hide') {
      if (document.getElementById('all_' + name)) {document.getElementById('all_' + name).style.display = 'none';}
      document.getElementById('hide_' + name).style.display = 'none';
      document.getElementById('show_' + name).style.display = 'block';
   }
};

window.onload = function() {

   // Code to expand the menu structure, down to the currently viewed page
   path_array = window.location.pathname.split("\/");
   loop = 0;
   // Ignore the last entry for the 'file', because it will never be a folder needing expansion
   while (loop < path_array.length - 1) {
      if (document.getElementById('all_' + path_array[loop])) {nav('show', path_array[loop])}
      loop++;
   }

   // Code to highlight the menu item that corresponds to the current folder
   var txt = location.pathname.substr(1);

   // PC development testing
   // txt = txt.replace(/g:\\wwwtrial\\/gi,"");

   // replace slashes with underscores
   txt = txt.replace(/\//g,"_");
   txt = txt.replace(/\\/g,"_");
   txt = txt.replace(/all_/g,"");

   // ditch the .html
   txt = txt.replace(/\.html/g,"");

   if (document.getElementsByName(txt).length > 0) {
      document.getElementsByName(txt)[0].style.backgroundColor='#3a3fdd';
      document.getElementsByName(txt)[0].style.color='white';
   }
};

 //-->