En öfverdomares årliga lön är20,000