function highlight(line, color)
{
	line.style.backgroundColor = color;
}

function unlight(line, color)
{
	line.style.backgroundColor = color;
}