<!--

function textLinkOn(section) {

	var textElement=document.getElementById(section);
	textElement.style.color="8B0000";
	}
	
	
function textLinkOff(section) {

	var textElement=document.getElementById(section);
	textElement.style.color="808080";
	}
	
	

// -->