#include<stdio.h>
int main()
{
int n,m ;
int q[10],sum=0,sum1=0,sum2=0,te=0;
int i=0,j=0;
while(scanf("%d",&n)!=EOF)
{
if(n==0)
break;
te=n;
do
{
q[i]=te%10;
te=te/10;
sum+=q[i];
i++;
}while(te!=0);
i=0;
te=n;
do
{
q[i]=te%16;
te=te/16;
sum1+=q[i];
i++;
}while(te!=0);
i=0;
te=n;
do
{
q[i]=te%12;
te=te/12;
sum2+=q[i];
i++;
}while(te!=0);
i=0;
if(sum1==sum2&&sum==sum1)
{
printf("%d is a Sky Number.\n",n);
}
else
printf("%d is not a Sky Number.\n",n);
sum1=sum2=sum=0;
}
return 0;
}
int main()
{
int n,m ;
int q[10],sum=0,sum1=0,sum2=0,te=0;
int i=0,j=0;
while(scanf("%d",&n)!=EOF)
{
if(n==0)
break;
te=n;
do
{
q[i]=te%10;
te=te/10;
sum+=q[i];
i++;
}while(te!=0);
i=0;
te=n;
do
{
q[i]=te%16;
te=te/16;
sum1+=q[i];
i++;
}while(te!=0);
i=0;
te=n;
do
{
q[i]=te%12;
te=te/12;
sum2+=q[i];
i++;
}while(te!=0);
i=0;
if(sum1==sum2&&sum==sum1)
{
printf("%d is a Sky Number.\n",n);
}
else
printf("%d is not a Sky Number.\n",n);
sum1=sum2=sum=0;
}
return 0;
}