And how much less than their private sector counterparts did they make over the course of their career?