Or 0.17% of the entire US GDP for 2024. Their revenue must be off the charts.