 $13 billion. That's national revenue. That is majority media rights. And if you account then for all the money, the revenue for the NFL is probably closer to $20 billion. And so when people start worrying about how much guys are making, this is not monopoly money. The money exists. It has to get split somewhere. It gets split between the owners and the players.