HJ从小喜欢奇特的东西，而且天生对数字特别敏感，一次偶然的机会，他发现了一个有趣的四位数2992，这个数，它的十进制数表示，
其四位数字之和为2+9+9+2=22，它的十六进制数BB0，其四位数字之和也为22，同时它的十二进制数表示1894，其四位数字之和也为22，
啊哈，真是巧啊。Sky非常喜欢这种四位数，由于他的发现，所以这里我们命名其为“HJ数”。但是要判断这样的数还是有点麻烦啊，
那么现在请你帮忙来判断任何一个十进制的四位数，是不是“HJ数”吧。
输入含有一些四位正整数，如果为0，则输入结束。
若n为HJ数，则输出“#n is a Sky Number.”，否则输出“#n is not a Sky Number.”。每个结果占一行。注意：#n表示所读入的n值。
2992
1234
02992 is a Sky Number.
1234 is not a Sky Number.