judge

means a Judge of the High Court;