A water problem

---

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≤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.

Sample Input

10001
0
333

Sample Output

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

---

#include <stdio.h>char n[10000000];int main(int argc, char *argv[]){    char *p;    int temp;    long long int num;    num=1;    while(scanf("%s",n)==1&EOF)    {        p=n;        temp=0;        while(*p!='\0')        {            temp=(*p-48)+temp*10;            temp=temp%10001;            p++;        }        if(temp==0)        {            printf("Case #%lld: YES\n",num);        }        else{            printf("Case #%lld: NO\n",num);        }        num++;    }    return 0;}