average annual pay
(3) For purposes of this subsection, the term “average annual pay”, with respect to a judge, means the average annual pay received by the judge for judicial service (including periods in which the judge received retired pay under section 7296(d) of this title ) or for any other prior allowable service during the period of three consecutive years in which the judge received the largest such average annual pay.