function highlight(which, menu) {
	if (menu=="main") {
		which.style.backgroundColor = "#b8cce4";
		which.style.color = "#1f4574";
	} else {
		which.style.backgroundColor = "#6d6d6d";
	}
	which.style.cursor = "pointer";
}
function unhighlight(which) {
	which.style.backgroundColor = "transparent";
	which.style.color = "white";
	which.style.cursor = "auto";
}