Federal headcount by department. It is kind of crazy how small the non-defense workforce is.