domprostlönen vid dot belopp , som lönereglenngsnämnden föreslagit , eller 12,000 kr.