function highlight() {
	var i,atags;
	if (document.all) {
		atags = document.getElementsByTagName("A");
		for (i=0;i<atags.length;i++) {
			if (atags[i].href==window.location.href) {
				if (atags[i].className=="undermenyL2") {
					atags[i].className = "undermenyL2highlight"
					break;
				}
			}
		}
	}
}