function highlightMenu(id){
	document.getElementById(id).className = "highlight";
}