Los empleados totales de ese año fueron 8.753, de los cuales el 59,1% fueron mujeres, por lo tanto: 8753*59,1% = 5173,023.
La información se encuentra en la página 32 del informe.