char s[]="0000000000",*p=s-2;k;main(n){for(;k-n?k>n?n=k:--*p,p++,k<12:++*p;k=atoi(gets(&k))+2)fflush(!puts(s));}