74 öre till tjenstemännens pensionsfond,