#include<bits/stdc++.h>
using namespace std;
int main()
{
	int n;
	scanf("%d",&n);
	for(int i=0;i<=n;i+=7)
		for(int j=0;j<=n;j+=4)
			if(i+j==n)
			{
				printf("Yes");
				return 0;
			}
	printf("No");
	return 0;
}