function highlight(id) {
	var row = document.getElementById(id);
	row.style.backgroundColor = '#E6E6FF';
}
function unhighlight(id) {
	var row = document.getElementById(id);
	row.style.backgroundColor = '#FFFFFF';
}