function selectVisited()
{
  var nav = document.getElementById('navigation');
  var links = nav.getElementsByTagName('a');

  for (var i=0; i<links.length; i++)
  {
    if (links[i].href == location.href)
    {
      links[i].className = "current"; i<links.length;
    }
  }
var nav2 = document.getElementById('navigation2');
  var links2 = nav2.getElementsByTagName('a');
  for (var i=0; i<links2.length; i++)
  {
    if (links2[i].href == location.href)
    {
      links2[i].className = "current"; i<links2.length
    }
  }
}