s = int(eval(input()))#入力した数値

t = int(s % 10)#10で割ったあまり＝n桁目の数

u = int(s / 10)#10で割ったもの

while True:

    if t == 7:

        print("Yes")

        break

    elif u == 0:

        print("No")

        break

    t = int(u % 10)

    u = int(u / 10)

s = int(eval(input()))

if s%10 == 7:

    print("Yes")

elif int(s/10)%10 == 7:

    print("Yes")

elif int(int(s/10)/10)%10 == 7:

    print("Yes")

else:

    print("No")
s = int(eval(input()))  # 入力した数値
t = int(s % 10)  # 10で割ったあまり＝n桁目の数
u = int(s / 10)  # 10で割ったもの
while True:
    if t == 7:
        print("Yes")
        break
    elif u == 0:
        print("No")
        break
    t = int(u % 10)
    u = int(u / 10)

s = int(eval(input()))
if s % 10 == 7:
    print("Yes")
elif int(s / 10) % 10 == 7:
    print("Yes")
elif int(int(s / 10) / 10) % 10 == 7:
    print("Yes")
else:
    print("No")

-s = int(eval(input()))  # 入力した数値 -t = int(s % 10)  # 10で割ったあまり＝n桁目の数 -u = int(s / 10)  # 10で割ったもの -while True: -    if t == 7: -        print("Yes") -        break -    elif u == 0: -        print("No") -        break -    t = int(u % 10) -    u = int(u / 10) +s = int(eval(input())) +if s % 10 == 7: +    print("Yes") +elif int(s / 10) % 10 == 7: +    print("Yes") +elif int(int(s / 10) / 10) % 10 == 7: +    print("Yes") +else: +    print("No")