n = int(input())

for i in [0, 2, 5]:
    for j in [0, 2, 5]:
        if i + j == n:
            print("Yes")
            exit()

print("No")