S = input()[::-1]
F = (len(S) >= 2)
for i in range(len(S)) :
    c = S[i]
    if i+1 == len(S) :
        F = F and (c == '1')
    elif i == 0 :
        F = F and ('2' <= c <= '4')
    else :
        F = F and ('3' <= c <= '5')
print("Yes" if F else "No")