How Heavily Should Seniors Be Invested in the Stock Market?