姚明当年跑3200米仅用时13分16秒，这是什么概念啊？