import re

n = eval(input())



if re.findall('[7]', n):

  print("Yes")

else:

  print("No")
n = eval(input())

print(("Yes" if n.find("7") >= 0 else "No"))
import re

n = eval(input())
if re.findall("[7]", n):
    print("Yes")
else:
    print("No")

n = eval(input())
print(("Yes" if n.find("7") >= 0 else "No"))

-import re - -if re.findall("[7]", n): -    print("Yes") -else: -    print("No") +print(("Yes" if n.find("7") >= 0 else "No"))