Su población era de 7.719 en el censo de 2000.