Interesting, I didn't know that, but it's not surprising. Government employees doubled in the last 10 years. The next doubling in size will likely only take 5 years.