import sys, os, time, math
import numpy as np
import pandas as pd


print("Start")
N = list(map(str, input().split()))
# N = np.array(list(map(int, input().split())))
# print(N, K)
print(N)

if (N[0][0] == "7") or (N[0][1] == "7") or (N[0][2] == "7"):
    print("Yes")
else:
    print("No")
