十进制  0  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  ... 

九进制  0  1  2  3  4  5  6  7  8 10  11  12  13  14  15  16  17  18  20  21  22  23  24  25  26  27  28  30  31  32  33  34  35  36  37  ...  

题  目  0  1  2  3  5  6  7  8  9 10  11  12  13  15  16  17  18  19  20  21  22  23  25  26  27  28  29  30  31  32  33  35  36  37  38  ...  

// AC	136K	47MS(有点儿慢)
#include <stdio.h>

int main()
{
	int n;
	while (scanf("%d", &n) && n) {
		int m[9] = {0}, i = 0;
		printf("%d: ", n);
		while (n) {
			m[i] = n % 10;
			if (m[i] >= 4) --m[i];
			i++;
			n /= 10;
		}
		while (--i)
			m[i - 1] += 9 * m[i];
		printf("%d\n", m[0]);
	} 
	return 0;
}