Số có chữ số 7 đầu tiên (Contains Digit Seven)

Nguồn: Phước Hưng OJ

Phiên bản: Phước Hưng OJ Extended

Đề bài

Cho một số nguyên không âm $n$. Kiểm tra biểu diễn thập phân của $n$ có ít nhất một chữ số 7 hay không. Nếu có, in YES; ngược lại in NO. Khi gặp chữ số 7 đầu tiên có thể break khỏi vòng tách chữ số; quy ước biểu diễn của $0$ chỉ có một chữ số 0.

Input

Một số nguyên $0\le n\le10^{18}$.

Output

Đúng YES hoặc NO, chữ in hoa.

Subtask

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

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

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

Ví dụ

Ví dụ 1

Input:

70

Output:

YES

Giải thích:

Kiểm từng chữ số thập phân; gặp 7 thì có thể kết luận YES. Kết quả kiểm tra với dữ liệu này: YES.

Ví dụ 2

Input:

0

Output:

NO

Giải thích:

Kiểm từng chữ số thập phân; gặp 7 thì có thể kết luận YES. Kết quả kiểm tra với dữ liệu này: NO.

Ví dụ 3

Input:

7070707

Output:

YES

Giải thích:

Kiểm từng chữ số thập phân; gặp 7 thì có thể kết luận YES. Kết quả kiểm tra với dữ liệu này: YES.