Los jueces ejercen sus funciones hasta los 75 años de edad.