function sectionHighlight (sectionID) {
	// On all pages we're going to change the section's link properties.

	if (sectionID != "") {
		var textID = sectionID;
	
//		document.getElementById(imageID).src = url;
		document.getElementById(textID).style.color = "#ff0000";
		document.getElementById(textID).style.textDecoration = "none";
		document.getElementById(textID).style.fontWeight = "bold";
	}
}