在《真假奶龙》开头第一幕中，没有任何铺垫与介绍，便是一坨奶龙在大喊“我是奶龙！”乍看之下，这一幕会让观众有些费解： 我们当然知道这坨黄色就是奶龙啊。 而当观众们这样想时，作为第八艺术的奶龙的目的就达到了。
大宝很喜欢看奶龙，于是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
