Según censo del 2007 el distrito tiene una población de 10 252 habitantes.