MOD = 10 ** 9 + 7
INF = 10 ** 15

def main():  
    P = [int(a) for a in input()][::-1]
    flag = True
    mode = False
    for i in range(len(P) - 1):
        if not mode:
            if P[i] in (2,3,4):
                P[i + 1] -= 1
            elif P[i] in (6,7):
                mode = True
                if i == 0:
                    flag = False
                    break
                continue
            else:
                flag = False
                break
        else:
            if P[i] in (6,7):
                continue
            else:
                flag = False
                break
    if flag and P[-1] in (0,6,7):
        print('Yes')
    else:
        print('No')
if __name__ == '__main__':
    main()