#include<stdio.h>
int f[1000000];
int main()
{
int i,j;
f[0]=7;
f[1]=11;
for(i=2;i<=1000000;i++)
f[i]=(f[i-1]+f[i-2])%3;
while(scanf("%d",&j)!=EOF)
{
if(f[j]%3==0)
printf("yes\n");
else
printf("no\n");
}
return 0;
}
int f[1000000];
int main()
{
int i,j;
f[0]=7;
f[1]=11;
for(i=2;i<=1000000;i++)
f[i]=(f[i-1]+f[i-2])%3;
while(scanf("%d",&j)!=EOF)
{
if(f[j]%3==0)
printf("yes\n");
else
printf("no\n");
}
return 0;
}