#include "bits/stdc++.h"
#define _CRT_SECURE_NO_WARNINGS
#define rep(i,n) for(int i = 0;i < n;i++)
#define REP(i,n,k) for(int i = n;i < k;i++)
#define P(p) cout << (p) << endl;
#define sP(p) cout << setprecision(15) << fixed << p << endl;
#define Pi pair<int,int>
#define IINF 1e9
#define LINF 1e18
#define vi vector<int>
#define mp make_pair
#define pb push_back

using namespace std;
typedef long long ll;
typedef unsigned long long ull;
int dx[] = { 0, 1, 0, -1 };
int dy[] = { -1, 0, 1, 0 };

unsigned long long sttoi(std::string str) {
	unsigned long long ret;
	std::stringstream ss; ss << str;
	ss >> ret;
	return ret;
}

ull gcd(ull a, ull b) {
	if (b > a)swap(a, b);
	if (b == 0) return a;
	return gcd(b, a%b);
}

ll comb(ll n,ll k) {
	ll ans = 1;
	for (ll i = 0; i < min(k, n - k); i++) {
		ans *= n - i;
		ans /= i + 1;
	}
	return ans;
}
int pop[] = { 2,5,8,11,14,17,20,23 };
void solve() {
	int n;
	cin >> n;
	ll sum = 0;
	ll last;
	int keta;
	string C = "";
	for (int i = 2; i < 25; i++) {
		last = sum;
		for (int j = 0; j < (sizeof(pop) / sizeof(int));j++) {
			if (i >= pop[j]) {
				sum += comb(i, pop[j]);
			}
		}
		C = C + '1';
		if (n <= sum) {
			keta = i;
			break;
		}
	}
	int left = n - last;
	int ans = 0;
	for (int i = 0; i < (1 << keta); i++) {
		bool flag = false;
		int pops = 0;
		for (int j = 0; j < keta; j++) {
			if (i & 1 << j)pops++;
		}
		for (int j = 0; j < (sizeof(pop) / sizeof(int)); j++) {
			if (pops == pop[j]) {
				flag = true;
			}
		}
		if (flag) {
			left--;
			if (left == 0){
				ans = i;
				break;
			}
		}
	}
	string bit = "";
	while (ans > 0) {
		char c = '0' + (ans & 1);
		bit = bit + c;
		ans >>= 1;
	}
	reverse(bit.begin(), bit.end());
	while (bit.length() != keta) {
		bit = '0' + bit;
	}
	bit = bit + '1';
	rep(i, bit.length()) {
		if (bit[i] == '1') {
			bit[i] = '5';
		}
		else if (bit[i] == '0') {
			bit[i] = '3';
		}
	}
	P(bit);
}	

int main() {
	solve();
	return 0;
}