/*
 
    hlsearch.js
      extract searchword from referrer and highlight
      all its occurrences in current page.
 
    2002-05-22:
      - check for 'search=' instead of '?search=' (mv)
 
  */


  //if (location.href.indexOf('?search=') == -1)
  if (location.href.indexOf('search=') == -1)
  {
    
    if (document.getElementById)
    {
      ref = document.referrer;
      
      if (ref.length)
      {
        if (ref.indexOf('search=') != -1)
        {
          var wrd = ref.substring(ref.indexOf('search=') + 'search='.length, ref.length);
          var rng = document.body.createTextRange();
          
          if  (wrd)
          {
            while(rng.findText(wrd))
            {
              rng.pasteHTML('<'+'span class="highlight" style="background-color:yellow;color:red;">'+rng.text+'<'+'/span>');
            }
          }
        }
      }
    }
  
  }