#!/usr/bin/env python

p = str(input())
plist = list(p)
plist = [int(x) for x in reversed(plist)]

if len(plist) == 1:
    print('No')
    quit()
elif len(plist) == 2:
    if 12 <= int(p) <= 14:
        print('Yes')
    else:
        print('No')
    quit()

if 1 >= plist[0] or plist[0] >= 5:
    print('No')
    quit()

if plist[-1] == 1:
    if max(plist[1:-1]) <= 5 and min(plist[1:-1]) >= 3:
        print('Yes')
    else:
        print('No')
    quit()
elif 6 <= plist[-1] <= 8:
    sw = 0 if plist[-1] == 6 else 1
    for ps in plist[1:-1]:
        if sw != 0 and 3 <= ps <= 5:
            sw = 2
            continue
        elif sw != 2 and 7 <= ps <= 8:
            sw = 1
            continue
        elif sw == 0 and ps == 6:
            continue
        else:
            print('No')
            quit()
else:
    print('No')
    quit()

print('Yes')