<!--
function setNavMarker() {
	document.getElementById(pageID).className = 'navOver';
}

function over(tcell) {
	document.getElementById(tcell).className = 'navOver';
}

function out(tcell) {
	if (tcell != pageID)
	document.getElementById(tcell).className = 'nav';
}
//-->