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

Sample Input

Sample Output

Case #: YES

Case #: YES

Case #: NO

 #include <iostream>

 #include <cstdio>

 #include <cstring>

 #include <algorithm>

 #include <cmath>

 #include <stack>

 #include <map>

 #include <vector>

 using namespace std;

 #define N 12000000

 #define INF 0x3f3f3f3f

 char s[N];

 int main()

 {

     int k=,len,x,d,i;

     while(scanf("%s", s) != EOF)

     {

         k++;

         len = strlen(s);

         x=;

         d=;

         for(i=;i<len;i++)

             d=(d*+(s[i]-'')%x)%x;

         if(d==)

             printf("Case #%d: YES\n",k);

         else

             printf("Case #%d: NO\n",k);

     }

     return ;

 }