printf("%d  ",0:20308)