tas till tjänstemännens pensionsfond och 8,500 kr.