Staden räknade 7,000 invånare.