#include<bits/stdc++.h> using namespace std; int main(){ int a; cin>>a; switch(a){ case 1:cout<<"NO"<<endl;break; case 2:cout<<"YES"<<endl;break; case 3:cout<<"NO"<<endl;break; case 4:cout<<"YES"<<endl;break; case 5:cout<<"NO"<<endl;break; case 6:cout<<"YES"<<endl;break; case 7:cout<<"YES"<<endl;break; } return 0; }