<!--

function changeColors(image, text) {
	document.getElementById(image).style.borderColor='#0071BB';
	document.getElementById(text).style.textDecoration='underline';	
}	

function changeBackColors(image, text) {
	document.getElementById(image).style.borderColor='#000000';
	document.getElementById(text).style.textDecoration='none';	
}	

-->