def main():
    P = int(input())

    if P < 12:
        print('No')
        return

    p = list(map(int, str(P)[::-1]))
    if p[0] in (2, 3, 4):
        if p[-1] == 1:
            ans = case1(p[1:-1])
        else:
            ans = case2(p[1:])
    else:
        print('No')
        return
    if ans:
        print('Yes')
    else:
        print('No')

def case1(p):
    for i in p:
        if i not in (3, 4, 5):
            return 0
    return 1

def case2(p):
    flag = 0
    for i in p:
        if i in (0, 1, 2, 9):
            return 0
        if i in (3, 4, 5):
            if flag != 0:
                return 0
            flag = 1
        if i in (7, 8):
            if flag != 1:
                return 0
            flag = 2
        if i in (6, 7):
            if flag != 2:
                return 0
    return 1

main()