function highlight(item) {
	var which = document.getElementById(item);
	which.style.backgroundColor = "#b8cce4";
	which.style.color = "#1f4574";
	which.style.cursor = "pointer";
}
function unhighlight(item) {
	var which = document.getElementById(item);
	which.style.backgroundColor = "transparent";
	which.style.color = "white";
	which.style.cursor = "auto";
}