import os,sys,random,threading
#sys.exit() 退出程序
#sys.setrecursionlimit(10**6) #调整栈空间
from random import randint,choice,shuffle
#randint(a,b)从[a,b]范围随机选择一个数
#choice(seq)seq可以是一个列表,元组或字符串,从seq中随机选取一个元素
#shuffle(x)将一个可变的序列x中的元素打乱
from copy import deepcopy
from io import BytesIO,IOBase
from types import GeneratorType
from functools import lru_cache,reduce
#reduce(op,迭代对象)
from bisect import bisect_left,bisect_right
#bisect_left(x) 大于等于x的第一个下标
#bisect_right(x) 大于x的第一个下标
from collections import Counter,defaultdict,deque
from itertools import accumulate,combinations,permutations
#accumulate(a)用a序列生成一个累积迭代器，一般list化前面放个[0]做前缀和用
#combinations(a,k)a序列选k个 组合迭代器
#permutations(a,k)a序列选k个 排列迭代器
from heapq import  heapify,heappop,heappush
#heapify将列表转为堆
from typing import Generic,Iterable,Iterator,TypeVar,Union,List
from string import ascii_lowercase,ascii_uppercase,digits
#小写字母，大写字母，十进制数字
from math import ceil,floor,sqrt,pi,factorial,gcd,log,log10,log2,inf
#ceil向上取整，floor向下取整 ，sqrt开方 ，factorial阶乘
from decimal import Decimal,getcontext
#Decimal(s) 实例化Decimal对象,一般使用字符串
#getcontext().prec=100 修改精度
from sys import stdin, stdout, setrecursionlimit
input = lambda: sys.stdin.readline().rstrip("\r\n")
MI = lambda :map(int,input().split())
li = lambda :list(MI())
ii = lambda :int(input())
mod = int(1e9 + 7) #998244353
inf = 1<<60
py = lambda :print("YES")
pn = lambda :print("NO")
DIRS = [(0, 1), (1, 0), (0, -1), (-1, 0)]  # 右下左上
DIRS8 = [(0, 1), (1, 1), (1, 0), (1, -1), (0, -1), (-1, -1), (-1, 0),(-1, 1)]  # →↘↓↙←↖↑↗






k=ii()

if k==0:
    print(1)
    exit()

l=3
r=k*10

def cal(x):
    if x<=0:
        return [0]*10
    pre=[0]*10              #上限x的前缀信息
    f=[0]*10
    p=0
    s=[int(i) for i in str(x)]
    for i,c in enumerate(s):
        g=[0]*10
        for j in range(10):
            g[j]=f[j]*10
            g[j]+=p
        p*=10
        if i==0:
            for nxt in range(1,c):  #如果当前填的是最高位，那么只能填入严格小于x当前位的数，且不能包含前导0
                g[nxt]+=1
                p+=1
        else:
          #不是最高位的话分两种情况
            for nxt in range(1,10):  #情况1，舍弃前面的位，或者说前面全部填0，那么这一位只要不填0都是严格小于x的
                g[nxt]+=1
                p+=1
            for nxt in range(c):     #情况2，继承x的前缀，那么只能填入严格小于x当前位的数，注意，这个时候可以填0，因为前面必定填过数了
                pre[nxt]+=1
                p+=1
                for j in range(10):
                    g[j]+=pre[j]
                pre[nxt]-=1
        f=g
        pre[c]+=1   #更新前缀信息
    for j in range(10):
        f[j]+=pre[j]
    return f

while l+1!=r:
    mid=(l+r)//2
    a=cal(mid)
    if a[4]+a[6]+a[8]*2+a[9]+a[0]>=k:
        r=mid
    else:
        l=mid

a=cal(r)

if a[4]+a[6]+a[8]*2+a[9]+a[0]==k:
    print(r)
else:
    print(-1)