function highlightTerm(){	
	term = location.hash; // find hash
	term = term.substring(1) // remove the # sign from the beginning
	
	if (term == "")
		return false;
	
	var nav = document.getElementById('Glossary');
	var links = nav.getElementsByTagName('a');
	
	// reset previous highlight first
	for (var i=0; i<links.length; i++)
	if (links[i].parentNode.className == "currentTerm")
	{
	  links[i].parentNode.className = "oldTerm";
		  break;
	}
	
	// set new highlighted item
	for (var i=0; i<links.length; i++)
	if (links[i].name == term)
	{
	  links[i].parentNode.className = "currentTerm";
		  break;
	}
}