This morning Ethan Steele wants to jump a little. In a few minutes he will arrive at the point 0. Then he will perform a lot of jumps in such a sequence: 1-jump, 2-jump, 3-jump, 1-jump, 2-jump, 3-jump, 1-jump, and so on.

1-jump means that if Ethan is at the point x, he will jump to the point x+1.

2-jump means that if Ethan is at the point x, he will jump to the point x+2.

3-jump means that if Ethan is at the point x, he will jump to the point x+3.

Before the start Ethan asks you: will he arrive at the

Output "yes" without a quotes if Ethan can arrive at point a or "no" without a quotes otherwise.

Input:
0

Output:
yes

Explanation:
The arrival point is 0

Input:
2

Output:
no

Explanation:
Ethan can't reach 2 as
start at : 0 (+1) 1 (+2) 3 so skipped 2 so cant reach 2

Input:
10

Output:
no

Explanation:
Ethan can't reach as
start as : 0 (+1) 1 (+2) 3 (+3) 6 (+1) 7 (+2) 9 (+3) 12 so can't reach 10 as skipped it