How many government employees does it take... (Joke of the Day)