In this section

Historical Rules · 25 August 2017

Rule 116.3

Official source text from the 25 August 2017 Rules release

Which player has priority is determined by the following rules:

Find this number in the current Rules