#include <stdio.h>
int a[3000],b[3000],cnt=0;

jsValue()
{ 
   int i,j,qw,bw,sw,gw;
   for(i=0;i<3000;i++)
   {
      qw=a[i]/1000;   
      bw=a[i]/100%10;
      sw=a[i]%100/10; 
      gw=a[i]%10;
      if(qw-bw-sw-gw>0) b[cnt++]=a[i];
   }
   for(i=0;i<cnt-1;i++)
      for(j=i+1;j<cnt;j++)
         if(b[i]>b[j]){qw=b[i]; b[i]=b[j]; b[j]=qw;}
}

void readDat()
{
   int i;
   for(i=1;i<=3000;i++)a[i]=i+6000;
}

void writeDat()
{
   FILE *fp;
   int i;
   fp=fopen("out.dat","w");
   fprintf(fp,"%d\n",cnt);
   for(i=0;i<cnt;i++)
      fprintf(fp,"%d\n",b[i]);
   fclose(fp);
}

void main()
{
   int i;
   readDat();
   jsValue();
   writeDat();
   printf("cnt=%d\n",cnt);
   for(i=0;i<cnt;i++) 
      printf("b[%d]=%d\n",i,b[i]);
}