#include <iostream>#include <vector>using namespace std;int main(){int n,i;vector<int>f;f.push_back(7%3);f.push_back(11%3);for(i=2;i<=1000000;i++){f.push_back((f[i-1]+f[i-2])%3);}while(cin>>n){if(f[n]==0)cout<<"yes"<<endl;elsecout<<"no"<<endl;}return 0;}
