Problem Description

Two planets named Haha and Xixi in the universe and they were created with the universe beginning.

There is $73$ days in Xixi a year and $137$ days in Haha a year.

Now you know the days $N$ after Big Bang, you need to answer whether it is the first day in a year about the two planets.

Input

There are several test cases(about $5$ huge test cases).

For each test, we have a line with an only integer $N(0 \leq N)$, the length of $N$ is up to $10000000$.

Output

For the i-th test case, output Case #i: , then output "YES" or "NO" for the answer.

10001
0
333

Case #1: YES
Case #2: YES
Case #3: NO

Author

UESTC