#include<bits/stdc++.h>
using namespace std;

int main(){
    long n,s=7; cin >> n;
    while(s<=n)s*=7;
    while(s/=7)putchar('0'+n/s%7);
}