function highlight(id) {
	document.getElementById(id).style.background = "#E8EDFF";
}
function unhighlight(id) {
	document.getElementById(id).style.background = "#FFFFFF";
}