(b) A retirement pension equal to half the annual salary, at the time of retirement, is paid to a judge who has completed a full nine-year term;
b) Un magistrado que haya cumplido su mandato completo de nueve años percibe una pensión que asciende a la mitad del sueldo anual en el momento de la jubilación;