var highlighted = false;

function highlightMenu(menu) {
	var element = document.getElementById(menu);
	if (element.className.indexOf("Selected") == -1) {
		element.className += "Selected";
		highlighted = true;
	}
	element.style.cursor = "hand";
	element.style.cursor = "pointer";
}

function unhighlightMenu(menu) {
	if (highlighted) {
		var orgClassName = document.getElementById(menu).className;
		document.getElementById(menu).className = orgClassName.substring(0, orgClassName.length-8);
		highlighted = false;
	}
	
}

function changePage(location) {
	document.location.href = location;
}