function highlight(id, class) {
	//unHighlightMenuItem("menuButton1");
	document.getElementById(id).className = class;
}
function unHighlight(id) {
	document.getElementById(id).className = "menuButton";
}