#include"stdio.h"
#include"string.h"
int main()
{
	char a[20];
	while(scanf("%s",&a)&&strcmp(a,"0"))
	{
		long b;
		int i,j;
		char c[20];
		strcpy(c,a);
		for(i=0;i<strlen(a);i++)
		if((a[i]-'0')>4)
		a[i]=a[i]-1;
		b=strtol(a,0,9);
		printf("%s: %ld\n",c,b);
	}
	return 0;
}