Full text
A judge who holds office on March 1, 1987 may retire at the age of seventy years.
A judge who holds office on March 1, 1987 may retire at the age of seventy years.
A judge who holds office on March 1, 1987 may retire at the age of seventy years.