Problem Statement

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.