 And now it's down to about 50,000 as people have fled seeking shelter elsewhere. So this is a city that was just bursting at the seams with all these tent camps a few months ago. Now it's mostly empty. This is really profound, Greg, because we were told it was impossible for people to move out of there. It sounds like virtually all people have moved out of there. And I guess we should also note that means this is an enormous number of people who've been forced in many cases to relocate again, not for the first time.