20161029 city.bengaluru: High court has 25 judges instead of 62