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

if p[0] in u3 and p[-1] in u1 and all([e in u2 for e in p[1:-1]]):
    print('Yes')
else:
    print('No')