<!--
	
	function addLoadEvent(func) {
		var oldonload = window.onload;
		if (typeof window.onload != 'function') {
			window.onload = func;
		} else {
			window.onload = function() {
				oldonload();
				func();
			}
		}
	}
	
	function highlightNav() {
		if (!document.getElementsByTagName) return false;
		if (!document.getElementById) return false;
		if (!document.getElementById("navleft")) return false;
		
		var navLeft = document.getElementById("navleft");
		
		var navCell = navLeft.parentNode;
		
		navCell.className = "navcell";
	}
	
	
	addLoadEvent(highlightNav);
	
-->