正式交易结束后进行盘后交易的时间。