3 000 att afsättas till tjenstomännenspensionsfond