#include <stdio.h>
#include <stdlib.h>

int main()
{
int a;

while( scanf("%d",&a)!=EOF ) {
if(a%3==0){
printf("yes\n");
}
else {
printf("no\n");
}

}
}

a 最大 10 ^ 10001

intmax 才 2 ^ 31 而已喔