Tags :how many federal workers are affected