જેની યાદગીરીરૂપે દેશભરના પેન્શનરો ૧૭ મી ડિસેમ્બરને પેન્શનર્સ ડે તરીકે ઉજવે છે.