The number of people in the US that are paid by the government is about 60, 70%. 70%—seven out of ten people are paid by the US government. That's a lot of money.