A water problem HDU - 5832 （大位数取模）

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

There is 7373 days in Xixi a year and 137137 days in Haha a year. 

Now you know the days NN 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 55 huge test cases). 

For each test, we have a line with an only integer N(0≤N)N(0≤N), the length of NN is up to 1000000010000000.

Output

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

Sample Input

10001
0
333

Sample Output

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

 

问题分析：

    （1）大数存储：由于x的位数最大为400位，我们不能用现有的int,long,long long,double等数据类型进行存储。一般存储大数的方法是用一个字符串来表示。

    （2）取模运算：模拟手算竖式的方法。用x从高到低的每一位加上前一位余数*10来