function doLoad() {
		if (document.links) {
			for (var i=0;i<document.links.length;i++) {
				var alink = document.links[i];
				if (alink.className=="nav" && window.location.href.indexOf(alink.href)>=0) {
					alink.className="navHighlight";
				}
			}
		}
	}