main(j,i){while(gets(i))sprintf(i,"1%%0%dd%%0%dd%%0%dd%%0%dd\n",j=strlen(i)-1,j,j,j),printf(i,4,6,4,1);}