Description

There are another kind of Fibonacii: F(0) = 7, F(1) = 11, F(n) = F(n-1) + F(n-2) (n>=2)

Format

Input

Input sonsists of a sequence of lines, each containing an interger n. (n<10^20)

Output

Print the word "yes" if 3 divide evenly into F(n). Print the word "no" if not.

Samples

0
1
2
3
4
5

no
no
yes
no
no
no

Hints

水题