De esos empleados, 548 ( 9%) trabajan como servidores públicos.