But did they adjust the size of the banks for inflation since then? Because if they did it wouldn't be that much bigger, I guess...