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

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")