function section_highlight(menuid){
	var menuitem = document.getElementById(menuid);
	menuitem.style.backgroundColor = "yellow";
	menuitem.style.borderColor = "black";
}

function section_unhighlight(menuid){
	var menuitem = document.getElementById(menuid);
	menuitem.style.backgroundColor = "#CCCC99";
	menuitem.style.borderColor = "#CCCC99";

}