#include<iostream>//判断数字能否被137或者73整除
#include<cstring>
using namespace std;
const int A[2]={73,137};
const int N=1e9;
int len,con=0,p=0;
char a[N];
int main()
{
    while(cin>>a)
    {
    	p++;
    	len=strlen(a);
		for(int i=0;i<2;i++)
		{
			con=0;
			for(int j=0;j<len;j++)
			{
				con=((con*10)+a[j]-'0')%A[i];
			}
			if(con==0)
			{
				break;
			}
		}
		if(con==0)
		{
			cout<<"Case #"<<p<<": YES"<<endl;
		}
		else
		{
			cout<<"Case #"<<p<<": NO"<<endl;
		}
    }
    return 0;
}