function highlight(theID, theColor) 
{
		
	document.getElementById(theID).style.border='1px solid ' + theColor;
		
}