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 all([e in (3, 4, 5) for e in p[1:-1]]):
        print('Yes')
    elif 8 in p[:-1]:
        if all([e in (6, 7) for e in p[p.index(8)+1:]]) and all([e in (3, 4, 5) for e in p[1:p.index(8)]]):
            print('Yes')
        else:
            print('No')
    elif 7 in p[:-1]:
        if all([e in (6, 7) for e in p[p.index(7)+1:]]) and all([e in (3, 4, 5) for e in p[1:p.index(7)]]):
            print('Yes')
        else:
            print('No')
    else:
        print('No')
else:
    print('No')