Maybe about $475,000,000? I've seen that fine somewhere before.
That was a bond, I think, not a fine.