#include <stdio.h>

int main(void)
{
　 　 int i;
　 　 for(I=0 ; i < 10000 ; i++)
　 　 　 　 printf("%4d\n",i);
　 　 return 0;
}