//Identify page and produce appropriate menu

function locate(){
	var location = window.location.href;
	if (location.indexOf(".", location.lastIndexOf("/")) != -1) {
		location = location.substring(location.lastIndexOf("/")+1, location.lastIndexOf("."));
	}
	else 
		location = "index";
		
	var obj = document.getElementById(location + "_topLink");
	obj.style.textDecoration = "underline";
	obj.style.color = "#9dc238";
}