def yes():
    print("Yes")
    exit()
def no():
    print("No")
    exit()

P = input()
N = len(P)
if N == 1:
    no()

if int(P[N-1]) not in [2,3,4]:
    no()

st = 0
for i in reversed(range(N-1)):
    p = int(P[i])
    if st == 0:
        if p in [3,4,5]:
            continue
        elif p in [7,8]:
            if i == 0:
                yes()
            st = 1
        elif p == 1:
            if i == 0:
                yes()
            else:
                no()
        else:
            no()
    else:
        if p in [6,7]:
            if i == 0:
                yes()
        else:
            no()