function set_hover(the_row, color, checkedcolor) {
	if(the_row.style.backgroundColor != checkedcolor) {
		the_row.style.backgroundColor = color;
	}
}

function remove_hover(the_row, color, checkedcolor) {
	if(the_row.style.backgroundColor != checkedcolor) {
		the_row.style.backgroundColor = color;
	}
}