惊为天人的第一句后，紧接着的“我才是奶龙！”又使得剧情一波未平，一波又起。或许有那种爱听雷声的观众比如笔者本人，每每看到这里，都会不由得想起七月盛夏时的雷雨，雷声阵阵，给人以似乎要破坏一切的畅快感觉。同时，这句“我才是奶龙！”还很好地解释了前文给我们带来的疑问：为什么奶龙要大喊“我是奶龙！”令人恍然大悟：原来是有个冒牌货啊！
大宝很喜欢看奶龙，于是Youngmagician打算考考大宝谁才是奶龙。
奶龙会喷火，现在使用一个数字描述奶龙喷出的火焰,重复下述流程，将数字各位相加作为新的数字，若数字小于10，那么停止该流程。 众所周知奶龙有一个好朋友小七，所以如果最后的数字为7，那么就是真奶龙，输出“Yes”,否则输出“No”。
例如输入12345->15->6。所以不是奶龙
第一行包含一个数字a，表示奶龙喷射的火焰。
对于每个测试点，输出一行"Yes"或"No"（都不包含双引号）
注意：你可以以任何大小写方式输出答案，例如"Yes""YEs""yEs"都会被认为是输出了"Yes"，"NO""nO"都会被认为是输出了"No"
样例输入 #1
12345
样例输出 #1
No
样例输入 #2
7
样例输出 #2
Yes
