// JavaScript Document
function highlight(linkId) {
	if (document.getElementById(linkId)) {
		document.getElementById(linkId).style.color = "#cc9933";
	}
}