and the money saved by firing people - how much of the federal debt have they paid down...oh, none