p=input()
pi=int(p)
le=len(p)
boo=True
k=['3','4','5']
l=['2','3','4']
if(p[0]=='1'):
    for i in range(1,le-1):
        if(not p[i] in k):
            boo=False
            break
    if(not p[le-1] in l):
        boo=False
elif(le==1):
    boo=False

elif(p[0] in ['6','7','8']):
    i=0
    while(p[i]=='6' or p[i]=='7'):
        if(i==le-1):
            boo=False
            break
        i+=1
    if(p[i-1]=='7' and p[i] in k):
        for j in range(i+1,le-1):
            if(not p[j] in k):
                boo=False
                break
        if(not p[le-1] in l):
            boo=False
    elif(p[i]=='8'):
        for j in range(i+1,le-1):
            if(not p[j] in k):
                boo=False
                break
        if(not p[le-1] in l):
            boo=False
    else:
        boo=False
else:
    boo=False

if(boo==True):
    print('Yes')
else:
    print('No')