function highlight(location) {
	document.getElementById(location).style.backgroundColor = "#FFF6DF";	
}

function unhighlight(location) {
	document.getElementById(location).style.background = "none";	
}