N=str(eval(input()))

if "7" in N:

  print("Yes")

else:

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

if "7" in n:

  print("Yes")

else:

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

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

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