La ciudad tenía una población de 7.916 habitantes.