//注意本来要用long long的,但是都%3即不用了。
#include"stdio.h"
#include"string.h"
int A[1000000];
int main()
{
int n;
int i;
A[0]=7%3;
A[1]=11%3;
for(i=2;i<1000000;i++)
A[i]=(A[i-1]+A[i-2])%3;
while(scanf("%d",&n)!=-1)
printf("%s\n",A[n]==0?"yes":"no");
return 0;
}