3. A judge who ceased to hold office before the age of sixty and who would be entitled to a retirement pension when he or she reached that age may elect to receive a pension from any date after the date on which he or she ceases to hold office. Should he or she so elect, the amount of such pension shall be that amount which has the same value as the retirement pension which would have been paid to him or her at the age of sixty.
3. 于60岁前停止任职但在达到该年龄后即有权领受退休养恤金的法官,可选择其停止任职之日后的任何日期开始领受养恤金。若作出此项选择，所领退休养恤金与其本来在60岁时应领退休养恤金在价值上相等。