El distrito tiene 13 300 habitantes aproximadamente.