400,000 kr. , att till tjenstemännens pensionsfond afsätta 10,159 kr. , att tilldispositionafond