Contains Digit Seven

Source: Phước Hưng OJ

Version: Phuoc Hung OJ Extended

Problem Statement

Given a nonnegative integer n, print YES if its decimal representation contains digit 7, otherwise NO. The representation of zero consists of one digit 0.

Input

One integer 0<=n<=10^18.

Output

Exactly uppercase YES or NO.

Subtasks

• Subtask 1 (20%): $0\le n\le 10000$.

• Subtask 2 (30%): $0\le n\le 10000000000$.

• Subtask 3 (50%): $0\le n\le 1000000000000000000$.

Examples

Example 1

Input:

70

Output:

YES

Explanation:

Scan decimal digits; finding a 7 is sufficient for YES. Result: YES.

Example 2

Input:

0

Output:

NO

Explanation:

Scan decimal digits; finding a 7 is sufficient for YES. Result: NO.

Example 3

Input:

7070707

Output:

YES

Explanation:

Scan decimal digits; finding a 7 is sufficient for YES. Result: YES.