och till tjenstemännens pensionsfond 4,000 kr.