// JavaScript Document
function highlightlink()

 {
  
	var currentLocation = document.location.href;
	var targetNode;

    targetNode = document.getElementById("navigation");
	links = targetNode.getElementsByTagName("a");

	// Search thorugh all links
	for (i=0; i<links.length; i++) {
		linkHref = links[i].href;
		
		if (linkHref==currentLocation) {
			// Set class for different browsers, if link is this link
			links[i].parentNode.parentNode.setAttribute("className","leftnavlocate");
			links[i].parentNode.parentNode.setAttribute("class", "leftnavlocate");     
    }
	}
}