幸运数字

Time Limit: 1000 ms Memory Limit: 65536 KiB

Problem Description

我们定义幸运数字为只含有且必须同时含有 4 和 7 的数。例如:47, 747 是幸运数字,而 2333, 666, 457, 777 就不是幸运数字。

现在,bLue 想知道一个数是不是幸运数字,你能帮助他吗?

Input

输入数据有多组(数据组数不超过 100),到 EOF 结束。

每组输入为一行,包含一个非负整数 n,保证 n 在 int 范围内。

Output

对于每组数据,如果输入的数是幸运数字,则输出一行 "Yes",否则输出一行 "No"(输出内容均不包括引号)。

Sample Input

40
74
747
1047
123

Sample Output

No
Yes
Yes
No
No

Hint

Source

【2016级《程序设计基础(B)I》期末上机考试-第二场】bLue