Agra (Province). High Court of Judicature