So 4,000 small banks had closed permanently or merged with larger banks at the time, and depositors were getting about 85 cents on the dollar, which doesn't sound great, but it's a lot better than zero.