182. Lucky Numbers
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output
This problem is worth 10 points.

You consider a number to be "lucky" if it has any digits equal to 7. For example, 7377, 87, and 98789 are lucky, while 6, 300, and 561 are not lucky. Given a number, figure out whether or not it is a lucky number.

Input

The only line of input consists of a single integer $$$n$$$.

Output

If $$$n$$$ is a lucky number, output "YES" (no quotes). Otherwise, output "NO" (no quotes).

Examples
Input
7377
Output
YES
Input
1101
Output
NO
Input
3060
Output
NO