#include "iostream"
#include "cstdio"
#include "cstring"
using namespace std;
char s[10000005];
int main(){
int t=1;
while(scanf("%s",s)!=EOF){
int len=strlen(s);
int ans=0;
for(int i=0;i<len;i++)
ans=(int)(((long long)ans*10+s[i]-'0')%10001);
if(!ans)
printf("Case #%d: YES\n",t);
else
printf("Case #%d: NO\n",t);
t++;
}
return 0;
}