function menu_hover(thisDiv) {
	thisDiv.style.backgroundColor = "red";
	thisDiv.style.color = "white";
	thisDiv.style.cursor = "pointer";
}

function menu_unhover(thisDiv) {
	thisDiv.style.backgroundColor = "white";
	thisDiv.style.color = "black";
	thisDiv.style.cursor = "auto";
}