#include<iostream>
using namespace std;
int main(){
	int weekday;
	cin>>weekday;
	switch(weekday)
	{
		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;
		default:cout<<"YES"; 	
	}
	return 0;	
}