El distrito tiene una población de aproximadamente 12.000 personas.