// check file name and highlight if it matches a link
	var file_name = location.href
	
	// get rid of bookmarks
	if (file_name.indexOf('#')!= -1){
			var bm = true
			var bm_loc = file_name.indexOf('#')
			var bookmark = file_name.substring(bm_loc, file_name.length)
			file_name=file_name.substring(0,bm_loc)
	}
	
	// loop through all the links
	for (check_links = 0; check_links < document.links.length; check_links++) {
		var link_name = document.links[check_links].href	
		// highlight link if it matches filename
		// exclude nn4 and others
			if(document.getElementById){
				if (link_name == file_name) {
				    document.links[check_links].className = "current";
				}
			}
	}