function menu_highlight(divid, stat) {
	var color=(stat==1)?"#E9DACC":"#F9EFE4";
	if (document.getElementById) {
		var theDiv = document.getElementById(divid);
		if(theDiv){
		document.getElementById(divid).style.backgroundColor = color;
		}
	  }		
	}