The lump sum paid upon retirement and the lump sum that was paid out when he died should be divided according to the shares of inheritance among all the heirs. Pension is a gift from the government and belongs to the person designated by the government system; it does not have to be distributed among all the heirs.