So did the depositors who exceeded the limit for FDIC insurance.