function addHighlight(btnVar) {
	if (document.getElementById) {
		navEl = document.getElementById(btnVar);
		node = navEl.getElementsByTagName("a");
		node[0].className+=" highlight";
	}
}