I didn't know that. There you go.
The other question I had was about the $1.3 billion that we set aside that everyone was excited about before because they thought we were giving out severance packages, but they were actually payments for voluntarily leaving.
If I caught it correctly, about 60% of that has been used up. How much of it has been used?