function hilite(id, color) {
	document.getElementById(id).style.color=color;
}