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.
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$.
For the i-th test case, output Case #i: , then output "YES" or "NO" for the answer.