samma tid utgjorde tjenstemännens pensionsfond 40 , 237 , 38 kr.