 19.6 billion. Almost double. It's a 50% increase in 10 years. We don't need that much government, but we have it. And the reason we have it is because we've had big spending legislators, both in the Democrat and my party, the Republican Party, that say, we got the money, we're going to spend it. Why not get the money and give it back to the people? Now let me tell you one other area. And this would be giving it back to the people. Absolutely. Your property taxes are gone. Yeah.