9988
10000
10027
10147
10172
10205
10244
10265