MINNEAPOLIS — NFL players have put a number on how much money the league should pay back if it loses a court fight over $4 billion in television revenue.

Just what that number is wasn’t disclosed Thursday in court documents filed by attorneys for the players. Exact amounts were redacted, but the figure is certainly in the hundreds of millions of dollars.

The players requested revenue “left on the table” in 2009 and 2010 when the NFL re-negotiated broadcast contracts.