En total, son cerca de 315 jueces, cada uno elegido por la población de sus respectivos distritos para un mandato de hasta 14 años de duración.