function hiLite(hilightId) {
	document.getElementById(hilightId).style.color = '#ff9900';
}
function unhiLite(hilightId) {
	document.getElementById(hilightId).style.color = '#4a4a4a';
}
function navDisplay(displayId) {
	document.getElementById(displayId).style.display = "block";
}
function navHide(displayId) {
	document.getElementById(displayId).style.display = 'none';
}