You cannot submit for this problem because the contest is ended. You can click "Open in Problem Set" to view this problem in normal mode.

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.