function navMouseOver(index) {
	document.getElementById('navBox_' + index).style.visibility='visible';
	document.getElementById('navLink_' + index).style.color='#ffffff';
	document.getElementById('navLinkImage_' + index).src='on.gif';
	return true;
							}
							
function navMouseOut(index) {
	document.getElementById('navBox_' + index).style.visibility='hidden'; 
	document.getElementById('navLink_' + index).style.color='#ffffff'; 
	document.getElementById('navLinkImage_' + index).src='off.gif';
	return true;
							}