A professional holiday of public officials was celebrated.