P9418 [AtCoder] AtCoder Beginner Contest 162 - Lucky 7
入门
题目描述

Given is a three-digit integer N. Does N contain the digit 7?

If so, print Yes; otherwise, print No.

Constraints

  • $100 \leq N \leq 999$

Input

Input is given from Standard Input in the following format:

N

Output

If N contains the digit 7, print Yes; otherwise, print No.

Examples

Input

117

Output

Yes

Input

123

Output

No

Input

777

Output

Yes

输入格式

见题面

输出格式

见题面

样例输入
777
样例输出
Yes