afsättas till tjenstemännens pensionsfond ocb 8 500 kr.