n=2003;main(){for(;n++<6001;)n/1000+n/100%10+n/10%10+n%10==6&&printf("%d\n",n);}