function navOn(aDiv){
	aDiv.style.borderColor = '#569EFF';
}
function navOff(aDiv){
	aDiv.style.borderColor = '#20140B';
}
function menuOn(menuName){
	document.getElementById(menuName+'Menu').style.visibility = 'visible';
}
function menuOff(menuName){
	document.getElementById(menuName+'Menu').style.visibility = 'hidden';
}
function menuBGOn(aDiv){
	aDiv.style.borderColor = '#86CEFF';
	aDiv.style.backgroundColor = '#FFFFFF';
}
function menuBGOff(aDiv){
	aDiv.style.backgroundColor = '#CCCCCC';
	aDiv.style.borderColor = '#999999';
}