// yukicoder: No.294 SuperFizzBuzz
// 2019.8.6 bal4u

#include <stdio.h>

// 32ビット用
int bitcount(int bits) {
    bits = (bits & 0x55555555) + (bits >> 1 & 0x55555555);
    bits = (bits & 0x33333333) + (bits >> 2 & 0x33333333);
    bits = (bits & 0x0f0f0f0f) + (bits >> 4 & 0x0f0f0f0f);
    bits = (bits & 0x00ff00ff) + (bits >> 8 & 0x00ff00ff);
    return (bits & 0x0000ffff) + (bits >>16 & 0x0000ffff);
}

int a[] = {0,0,1,3,6,11,21,42,85,171,342,683,1365,2730,5461,
10923,21846,43691,87381,174762,349525,699051,1398102,2796203,5592405};

char s[32];
int main()
{
	int i, k, w, N;
	
	scanf("%d", &N);
	for (w = 0; N > a[w]; w++) N -= a[w];
	i = 1; while (N) if (bitcount(++i) % 3 == 2) N--;
	k = 30, s[--k] = '5';
	while (w--) s[--k] = (i & 1)? '5': '3', i >>= 1;
	puts(s+k);
	return 0;
}