function doHilight(link) {
		document.getElementById(link).style.color = 'rgb(240,240,240)';
	}
	function deHilight(link) {
		document.getElementById(link).style.color = 'rgb(175,175,175)';
	}