och till tjenstemännens pensionsfond 7 500 kr.