The old city today has about 6,000 residents.