print(("Yes" if input().count("7")>0 else "No"))
N = eval(input())

print(("Yes" if N.count("7") > 0 else "No"))
print(("Yes" if input().count("7") > 0 else "No"))

N = eval(input())
print(("Yes" if N.count("7") > 0 else "No"))

-print(("Yes" if input().count("7") > 0 else "No")) +N = eval(input()) +print(("Yes" if N.count("7") > 0 else "No"))