> #include<stdio.h>
void main()
{
   long int num,temp,duck,big;
   int b,i=0,x;
   while(1)
   {
     scanf("%ld",&num);
	 if(num==0)
		 break;
     temp=0;
	 for(b=0,duck=10,big=1;b<9;b++)
	 {
		 x=(num%duck)/(duck/10);
	  
		 if(x>=0&&x<=3)
			 temp+=x*big;
		 else
			 if(x>4&&x<=9)
			 temp+=(x-1)*big;
		 duck*=10;
		 big*=9;
	 }
	 printf("%ld: %ld\n",num,temp);  
   }
  }