import sys
readline = sys.stdin.readline


def solve():
    N = input()
    N = N[::-1]
    if N[0] != '2' and N[0] != '3' and N[0] != '4':
        return 'No'
    num = 2
    up = False
    for n in N:
        n = int(n)
        if n <= 0:
            return 'No'
        if up:
            n -= 1
        if num == 2 and (n == 2 or n == 3 or n == 4):
            up = True
        elif num == 2 and (n == 6 or n == 7):
            up = False
            num -= 1
        elif num == 1 and (n == 6 or n == 7):
            up = False
        elif num == 2 and n == 0:
            num -= 2
        else:
            return 'No'
    return 'Yes' if num == 0 or num == 1 else 'No'

print(solve())