function highlighting(id) {
	document.getElementById(id).style.backgroundColor = "#F7F5F5";
}
					
function delighting(id) {
	document.getElementById(id).style.backgroundColor = "#FFFFFF";
}