 That'd be more than that. That's money the government has to pull out to pay for, you know, we have oil resource taxes and remittances, but those are, you know, the permanent fund is now by far the biggest payer of government. I mean, the Financial Times has written about this. They did a follow-up on my initial article. Some other national, Wall Street Journal just had an article on the permanent fund and basically private equity and