addEvent(window, "load", highlightMenu);

function removeFileExtension(inFile){
   var outFile = inFile.substring(0,inFile.indexOf("."));
   return outFile;
}

function extractFilename(inURL){
//   var loc = document.location.href;
   var len = inURL.length;
   var slash = inURL.indexOf("/") + 1;
   inURL = inURL.substring(slash,len);

   while(slash > 0){
      len = inURL.length;
      slash = inURL.indexOf("/") + 1;
      inURL = inURL.substring(slash,len);
   }

   if(inURL == ""){
      inURL = "index.html";
   }

   return inURL;
}


function highlightMenu(){
   var thistab;
   var i;
   var loc = extractFilename(document.location.href);
   var tabs = document.getElementById('menu').getElementsByTagName('a');

   for(i in tabs){
      thistab = extractFilename(tabs[i].href);
      if(removeFileExtension(thistab) == removeFileExtension(loc)){
         tabs[i].parentNode.id = "current";
      }
   }

}