function highlight(id) {
	if (!document.getElementById) return true;
	var elt = document.getElementById(id);
	if (!elt) return true;
	var oldColor = elt.style.backgroundColor;

	var light = function() {
		elt.style.backgroundColor = '#ff9';
	};
	setTimeout(light, 500);

	var revert = function() {
		elt.style.backgroundColor = oldColor;
	};
	setTimeout(revert, 1500);
}