function noSelfLink() {
	allA = document.getElementById('menu').getElementsByTagName('a');
	for (j = 0; j < allA.length; j++) {
		if (allA[j].href == document.URL) {
			cur = allA[j]
			var reSpan = document.createElement('span');
			reSpan.className = 'highlighted';
			reSpan.innerHTML = cur.innerHTML;
			cur.parentNode.replaceChild(reSpan, cur)
		}
	}
}
window.onload = noSelfLink;