#include <bits/stdc++.h>
using namespace std;

int n;

int main()
{
	scanf("%d", &n);
	for (int i = 0; i <= n; i += 4)
		if ((n - i) % 7 == 0) { printf("Yes\n"); return 0; }
	printf("No\n");
	return 0;
}