N = eval(input())

if '7' in N:

  print("Yes")

else:

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

if "7" in s:

  print("Yes")

else:print("No")
N = eval(input())
if "7" in N:
    print("Yes")
else:
    print("No")

s = eval(input())
if "7" in s:
    print("Yes")
else:
    print("No")

-N = eval(input()) -if "7" in N: +s = eval(input()) +if "7" in s: