 That's not a joke. All of this is publicly available in their financial report that they have to report every year. It's all on the Internet. Their last report was 2023 is out now. They get half a billion dollars in taxpayer money every year.