You cannot submit for this problem because the contest is ended. You can click "Open in Problem Set" to view this problem in normal mode.

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 \leq a \leq 10^{18}$