//(a+b)%c=(a%c+b%c)%c;
#include<iostream>
#include<math.h>
#include<stdio.h>
using namespace std;
long long a[10000005];
int main()
{
  long long n;
  a[0]=7%3,a[1]=11%3;
  for(int i=2;i<1000005;i++)
    a[i]=(a[i-1]+a[i-2])%3;//和DP很像
  while(cin>>n)
  {
    if(a[n]==0)
      cout<<"yes"<<endl;
    else
      cout<<"no"<<endl;
  }
  return 0;

}