function highlightLinks(obj) {
	var linkList = document.getElementById("globalnav").getElementsByTagName("a");
	for (i = 0; i < linkList.length; i++) {
	linkList[i].className = "";
	}
	obj.className = "on";
}