main(i){for(i=3891;i%191;i-=i<9e3?-1e3:i>9900?9989:8900)printf("%d\n",i);}