Number of ordinary judges of High Court.
1.—The number of ordinary judges of the High Court shall not be more than twelve.