#include <stdio.h>

int main()
{
	int N;
	scanf("%d", &N);

	char s[12];
	char *p = s+11;
	*p = '\0';

	do {
		*--p = '0' + N%7;
	} while (N /= 7);

	puts(p);
	return 0;
}