Effective at the beginning of trading on February 3, 2014, the trading hours will be reduced to the following, all EST time:             ...