import sequtils,strutils,unicode var p = stdin.readline f : bool F : bool = true k : int for i,c in reversed(p): k = ord(c) - ord('0') if i == 0: if k in 2..4: f = true else: F = false else: if f: if k in 3..5: f = true elif k in 7..8: f = false elif k == 1 and i == p.high: f = false F = true else: F = false else: if k in 6..7: discard else: F = false if F == false: break if F and f == false: echo "Yes" else: echo "No"