import re

def main():
    P = input()

    ptn1 = '^1[3-5]+[2-4]$'
    ptn2 = '^[67]*[78][3-5]+[2-4]$'
    for ptn in (ptn1, ptn2):
        m = re.fullmatch(ptn, P)
        if m is not None:
            print('Yes')
            break
    else:
        print('No')

main()