Según el Censo 2017 el distrito tiene una población de 7 050 hab.