#include<bits/stdc++.h> using namespace std; int main() { int x; cin>>x; if(7%x==0){ cout<<"yes"; } else { cout<<"no"; } }