In this rule

Historical Rules · 25 August 2017

Rule 116.3d

Official source text from the 25 August 2017 Rules release

Permalink

If a player has priority and chooses not to take any actions, that player passes. If any mana is in that player’s mana pool, he or she announces what mana is there. Then the next player in turn order receives priority.

Find this number in the current Rules