En 2000, el distrito tenía una población de 7.027 habitantes.