#include<stdio.h>

int main(){
  long n ;
  while(1){
   int i ;
   long temp ,temp1;
   int rest ;
   scanf("%ld",&n);
   temp1=temp = n ;
   if(n == 0 ){
     break;
   }
   else{
     for(i = 0 ; temp > 0 ; i++){
      rest = temp % 10 ;
      temp /=10 ;
      if(rest>4){
        temp++;
        n -= temp*pow(9,i);
      }
      else{
        n -= temp*pow(9,i);
      }
     } 
   }
   printf("%ld: %ld\n",temp1,n);
  }
  return 0 ;
}