#include<stdio.h>


void disp(int n)
{
	char s[20];
	int i;

	for(i=0;n;i++)
	{
		s[i]='0'+(n%7);
		n/=7;
	}
	if(i==0) s[i++]='0';
	for(i--;i>=0;i--)
	{
		putchar(s[i]);
	}
	printf("\n");
}


int main(void)
{
	int N;

	while(scanf("%d", &N)==1)
	{
		disp(N);
	}

	return 0;
}