I don't think they have generated much revenue for 2020. All were closed for some portion of the year and Disneyland has not opened since the first wave if I'm correct. I can't imagine the with with added costs of operation and the capped crowds they have much, if any, profit margin in the "Parks" portfolio.