function highlightMenu(menuId) {
	document.getElementById(menuId).style.background = '#DDDDFF';
}