s = eval(input())



for c in s:

    if '7' in s:

        print("Yes")

        break

    else:

        print("No")

        break
n=eval(input(""))

x=0



while x<3:

    if n[x]=="7":

        print("Yes")

        break

    x=x+1

    if x==3: print("No")

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

n = eval(input(""))
x = 0
while x < 3:
    if n[x] == "7":
        print("Yes")
        break
    x = x + 1
    if x == 3:
        print("No")

-s = eval(input()) -for c in s: -    if "7" in s: +n = eval(input("")) +x = 0 +while x < 3: +    if n[x] == "7": -    else: +    x = x + 1 +    if x == 3: -        break