#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll = long long;
#define rep(i,n) for(int i=0;i<(int)(n);i++)

int main(){
	int n;
	cin>>n;
	if(n%8==0||n%8==7) cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
}