function highlightCell(cell)
{
	cell.style.border= "1px solid #888888";
	cell.style.color="rgb(17,119,68)";
}

function unhighlightCell(cell)
{
	cell.style.border= "1px solid #ffffff";
	cell.style.color="black";
}