4,525 by furlough and early retirement.

This management team isn't likely to come to the table with anything generous concerning the early retirements. I think we'll see at least that many off the bottom of the list.