74 öre till tjenstemännens pensionssond,