function hilite(id, color) {
	document.getElementById(id).style.color='#B3005D'
//	#A40202
}