text:  Here's what happens. They retire, and they're supposed to get their first retirement check on January, let's say February 1st, and it's usually about 70% to 80% of what the actual number is going to be because those guys on the abacuses are still working the numbers, right?