divixtotal servidores publicos