运动员在“百米赛跑”起跑阶段的速度为6m/s，跑向终点时的速度为9m/s，最后冲过终点时的速度为10m/s，已知运动员的成绩为12.5s，则他跑完全程的平均速度为m/s .