Número de servidores públicos empregados atualmente é: