function highlightJumpText() {
   var theJumpLocation = window.location.hash;

   if (theJumpLocation) {
      if (theJumpLocation.substring(0,1)=='#')
         theJumpLocation = theJumpLocation.substring(1);
      var item = window.document.getElementById(theJumpLocation);
      if (item)
         item.className ='highlight' ;
      else {
         findString(unescape(theJumpLocation));
      }
   }
}

function findString (str) {
   var TRange=null;
   var strFound;

   if (parseInt(navigator.appVersion)<4) return;

   if (navigator.appName=="Netscape") {
      strFound=self.find(str);
      if (!strFound) {
         strFound=self.find(str,0,1);
         while (self.find(str,0,1)) continue;
      }
   }

   if (navigator.appName.indexOf("Microsoft")!=-1) {
      TRange=self.document.body.createTextRange();
      strFound=TRange.findText(str);
      if (strFound) TRange.select();
   }
}