La población estimada del distrito es de 9.300 habitantes (2010).