function bg_highlight(id, color){
	if(color == null){
		color = '#E9D7BF';
	}
	var el = document.getElementById(id);
	el.style.backgroundColor = color;
}