What should a stock market investor do?