Background

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.

Format

Input

The test cases are very huge! For each test, we have a line with an only integer N(0 <= 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.

Samples

10001
0
333

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

Limitation

1s, 1024KiB for each test case.