#!/usr/bin/env python

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

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[-1] or plist[-1] >= 5:
    print('No')
    quit()

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

print('Yes')