[sib]

US Domestic Box Office was about $7.5B in 2022 and $8.9B in 2023. So if there's a number of $42B, it is including a lot of other revenue.