Sort:  

all of them?
how many federal employees would that leave?