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