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