在交易日，股票市场在上午9：30正式开盘，在11：30收盘。经过一个半小时的休息之后，股票市场会在下午13：00开盘，15：00收盘。股市交易时间为