p = list(map(int, list(input())))
u1 = (2, 3, 4)
u2 = (3, 4, 5, 6, 7, 8)
u3 = (1, 6, 7, 8)

p.reverse()
print(p)

if p[-1] == 1 and p[0] in (2, 3, 4) and all([e in (3, 4, 5) for e in p[1:-1]]):
    print('Yes')
elif p[-1] in (6, 7, 8) and p[0] in (2, 3, 4):
    if 8 in p[:-1]:
        if all([e in (6, 7) for e in p[-1:p.index(8, -1):-1]]) and all([e in (3, 4, 5) for e in p[:p.index(8, -1)+1:-1]]):
            print('Yes')
        else:
            print('No')
    elif 7 in p[-1]:
        if all([e in (6, 7) for e in p[-1:p.index(7, -1):-1]]) and all([e in (3, 4, 5) for e in p[:p.index(7, -1)+1:-1]]):
            print('Yes')
        else:
            print('No')
    else:
        print('No')
else:
    print('No')