// yukicoder: No.499 7進数変換
// 2019.4.16 bal4u

#include <stdio.h>

#define pc(c) putchar(c)

int main()
{
	int i, N;
	char b[50];

	scanf("%d", &N);
	if (N == 0) pc('0');
	else {
		i = 0; while (N) b[i++] = N % 7 + '0', N /= 7;
		while (i--) pc(b[i]);
		pc('\n');
	}
	return 0;
}