window.onload = function()
    {            
      var anchors  = document.getElementsByTagName('a');
      
      for(var i = 0; i < anchors.length; i++)
      {
        // Apparently, this is sufficient.  Tidy.
        if(anchors[i].href == document.location.href)
        {
          anchors[i].className += ' current_page';
          anchors[i].parentNode.className += ' current_page';          
        }        
      }
    }