(a) If the judge has served a full term of four years and ceases to hold office after 1 January 2001, the amount of the annual pension shall be two ninths of the annual salary;
a) Si el magistrado ha desempeñado el cargo durante un período completo de cuatro años y cesa en sus funciones después del 1° de enero de 2001, la cuantía de la pensión anual será dos novenos del sueldo anual;