function highlight(t,i)
{
	document.getElementById(t).style.color = "#000000";	
	document.getElementById(i).style.borderColor = "#dedee0";
	document.getElementById(i).style.borderTopColor = "#c2c3c5";
}