str = input()
if len(str) == 1:
    print("No")
    exit(0)

a = int(str[0])
if a == 6 or a == 7:
    str = str[1:]
    while 1:
        a = int(str[0])
        if not(a == 6 or a == 7 or a == 8):
            str = "1" + str
            break
        str = str[1:]

if len(str) > 2:
    a = int(str[0] + str[1])
    if not (a >= 13 and a <= 15):
        print("No")
        exit(0)

for num in range(len(str)-2) :
    a = int("1" + str[num+1])
    if not (a >= 13 and a <= 15):
        print("No")
        exit(0)

a = int("1" + str[-1])
if not (a >= 12 and a <= 14):
    print("No")
else:
    print("Yes")