kronors lön , har nu 9,000 kr:S ( högre lön än ett justitieråd ).