function donavhighlights(){
   if(!document.layers){
      var atags=document.getElementsByTagName("a");
      for(var i=0;i<atags.length;i++){
         if(atags[i].className=="default_link"){
            if(document.location.href.indexOf(atags[i].href)!=-1){
               atags[i].className="current_link";
            }
         }
      }
   }
}