sicily 1240. Faulty Odometer

//自己想复杂了,原来可以这么简单~~~~

//把一个9进制数转换成10进制

//不过这个9进制数的数字是0 1 2 3 5 6 7 8 9,就是没有4
//把4之后的数都减一,然后就是真正的9进制数
//“1399” = 1388(9) = 1052(10)
//“1500” = 1400(9) = 1053(10)
//因此把数字转成标准9进制，再转成10进制就OK了

#include<iostream>
#include<string.h>
#include<stdio.h>
using namespace std;
int main()
{
    char ch[10];
    while(scanf("%s",ch)&&strcmp(ch,"0"))
    {
        int len=strlen(ch);
        int fac=1,sum=0;
        for(int i=len-1;i>=0;--i)
        {
            sum+=fac*( ch[i] > '4' ? ch[i]-'1' : ch[i]-'0' );
            fac*=9;
        }
        printf("%s: %d\n",ch,sum);
    }
    return 0;
}