b) Población total del distrito: 11.154 habitantes.