刚刚，创历史新高！五一假期出行人数15.17亿人次。