import sys



def I():

    return int(sys.stdin.readline().rstrip())



N = I()



A = [1,2,3,5,6,9,10,13,17]

if N in A:

    print('No')

else:

    print('Yes')
import sys



N = int(sys.stdin.readline().rstrip())



A = [1,2,3,5,6,9,10,13,17]



print(('No' if N in A else 'Yes'))

import sys


def I():
    return int(sys.stdin.readline().rstrip())


N = I()
A = [1, 2, 3, 5, 6, 9, 10, 13, 17]
if N in A:
    print("No")
else:
    print("Yes")

import sys

N = int(sys.stdin.readline().rstrip())
A = [1, 2, 3, 5, 6, 9, 10, 13, 17]
print(("No" if N in A else "Yes"))

- -def I(): -    return int(sys.stdin.readline().rstrip()) - - -N = I() +N = int(sys.stdin.readline().rstrip()) -if N in A: -    print("No") -else: -    print("Yes") +print(("No" if N in A else "Yes"))