statsiverkets ordinarie inkomster till 25.135.000 kr.