#描述#
sky从小喜欢奇特的东西，而且天生对数字特别敏感，一次偶然的机会，他发现了一个有趣的四位数2992，这个数，它的十进制数表示，其四位数字之和为2+9+9+2=22，它的十六进制数BB0，其四位数字之和也为22，同时它的十二进制数表示1894，其四位数字之和也为22，啊哈，真是巧啊。Sky非常喜欢这种四位数，由于他的发现，所以这里我们命名其为Sky数。但是要判断这样的数还是有点麻烦啊，那么现在请你帮忙来判断任何一个十进制的四位数，是不是Sky数吧。

#格式#
##输入格式##
输入含有一些四位正整数，如果为0，则输入结束。

##输出格式##
若n为Sky数，则输出"#n is a Sky Number."，否则输出"#n is not a Sky Number."。每个结果占一行。注意：#n表示n这个数。

#样例1#
##样例输入1##

2992
1234
0

##样例输出1##

2992 is a Sky Number.
1234 is not a Sky Number.

#限制#
1000ms
32768KB

#提示#

#来源#
Sky