100 #P2026. youngmagician笑传之谁是奶龙

youngmagician笑传之谁是奶龙

Problem Description

在《真假奶龙》开头第一幕中,没有任何铺垫与介绍,便是一坨奶龙在大喊“我是奶龙!”乍看之下,这一幕会让观众有些费解: 我们当然知道这坨黄色就是奶龙啊。 而当观众们这样想时,作为第八艺术的奶龙的目的就达到了。

大宝很喜欢看奶龙,于是Youngmagician打算考考大宝谁是奶龙。

奶龙会喷火,现在使用一个数字描述奶龙喷出的火焰,重复下述流程,将数字各位相加作为新的数字,若数字小于10,那么停止该流程。 众所周知奶龙有一个好朋友小七,所以如果最后的数字为7,那么就是真奶龙,输出“Yes”,否则输出“No”。

例如输入12345->15->6。所以不是奶龙

Input Format

第一行包含一个数字a,表示奶龙喷射的火焰。

Output Format

对于每个测试点,输出一行"Yes"或"No"(都不包含双引号)

注意:你可以以任何大小写方式输出答案,例如"Yes""YEs""yEs"都会被认为是输出了"Yes","NO""nO"都会被认为是输出了"No"

Sample

样例输入 #1

12345

样例输出 #1

No

样例输入 #2

7

样例输出 #2

Yes

Hint

1≤a≤10181 \leq a \leq 10^{18}