It's probably billions of dollars, but I would have to get back to you with a specific answer because it varies year by year. It depends on retained earnings or not and the dividend it pays or doesn't pay to the government in any given year.
On February 16th, 2021. See this statement in context.