function highlight(menuid){
	var menuitem = document.getElementById(menuid);
	menuitem.style.backgroundColor = "#999999";
}

function unhighlight(menuid){
	var menuitem = document.getElementById(menuid);
	menuitem.style.backgroundColor = "#555555";
}