On February 12,1971, the court ordered that judgment be entered for plaintiff in the sum of four thousand six hundred fifty-seven dollars and sixty-eight cents ($4,657.68) with $4,004.39 of said sum to be credited to plaintiff’s Civil Service Eetirement and Disability Fund, $477.25 to be paid to plaintiff’s Employees Life Insurance Fund and the balance of $176.04 to be paid to defendant as repayment off the lump-sum leave payment made to plaintiff at the time of his separation.