p02711 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
```python
print(['No', 'Yes']['7' in input()])
```