#%%
n = input()

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

#%%

input_string = \
"""
777
"""

input_string_list = input_string.split("\n")[1:-1]

n = input_string_list[0]

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

# %%
