0.2 Jumping

Score: 10pts

Time Limit: 5.00 sec

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

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

Constraints

0 ≤ a ≤ 10^18

Input Format

The first line contains a single integer a denoting the point Ethan asks about.

Output Format

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

Example 1

Input:

0

Output:

yes

Explanation:

The arrival point is 0

0

Output:

yes

Explanation:

The arrival point is 0

Example 2

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

2

Output:

no

Explanation:

Ethan can't reach 2 as

start at : 0 (+1) 1 (+2) 3 so skipped 2 so cant reach 2

Example 3

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

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