#include<iostream> // cin\cout\endl #include<cstdio> //scanf()\printf() #include<cstring> // strcpy()\strcat()\strcmp()\strlen()\memset() #include<cmath> //sqrt()\pow()\abs()\ceil()\floor()\max()\min() using namespace std; int main(){ int a,b; cin>>a; b=a%7; switch(b){ case 1:cout<<"NO";break; case 3:cout<<"NO";break; case 5:cout<<"NO";break; default:cout<<"TES"; } return 0; }