407211: GYM102697 182 Lucky Numbers

Memory Limit：256 MB Time Limit：1 S
Judge Style：Text Compare Creator：
Submit：0 Solved：0

Description

182. Lucky Numberstime limit per test1 secondmemory limit per test256 megabytesinputstandard inputoutputstandard 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).

ExamplesInput
7377
Output
YES
Input
1101
Output
NO
Input
3060
Output
NO

Source/Category

加入题单

算法标签：