Age of retirement.
12.—The age of retirement of all judges of the High Court and the Supreme Court shall be 72 years.