statsverket och 7,000 kr.