navsetcurrent = function(){
	var el = document.getElementById("leftnav");
	if (!el) return (false);
	
	var as = el.getElementsByTagName ("a");
	for (var i=0; i<as.length; i++)
		if (String(window.location)===as[i].href)
			as[i].className += " currentpage";
}