#!/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 int(p) == 12 or 13 or 14:
        print('Yes')
    else:
        print('No')
    quit()

if plist[0] != 2 and 3 and 4:
    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 plist[-1] == 6 or 7 or 8:
    sw = 0 if plist[-1] == 6 else 1
    for ps in plist[1:-1]:
        if sw != 0 and ps == 3 or 4 or 5:
            sw = 2
            continue
        elif sw != 2 and ps == 7 or 8:
            sw = 1
            continue
        elif sw == 0 and ps == 6:
            continue
        else:
            print('No')
            quit()
else:
    print('No')
    quit()

print('Yes')