9.440 inactiva y 4.917 jubilados sobre un total de 23.856.