 what will be the final decision. But if the damages that they have to pay is worth more than $12 billion, the NFL itself only generated about $18 billion in revenue last year. So it is a significant portion of the money that they made. So it could be quite significant. Mariko, thank you for that. That's Mariko Oi with the latest business news. You're listening to Newsday on the BBC.