72,000 kr. , till tjänstemännens pensionsfond afsattes 5,000 kr.