c) Si el magistrado ha desempeñado el cargo durante un período completo de cuatro años y ha cesado en sus funciones después del 1° de enero de 2000 pero antes del 1° de enero de 2001, la cuantía de la pensión anual será 31.000 dólares;
c) Si le juge a exercé ses fonctions pendant toute la durée d'un mandat de quatre ans et cesse ses fonctions après le 1er janvier 2000, mais avant le 1er janvier 2001, le montant de sa pension annuelle est égal à 31 000 dollars ;