import math

N = int(eval(input()))

if N%10 == 7:

  print("Yes")

elif (N-N%10)%100 == 70:

  print("Yes")

elif N-N%100 == 700:

  print("Yes")

else:

  print("No")

S = eval(input())

X = 0



for i in range(3):

    if int(S[i]) == 7:

        X += 1

if X == 0:

    print('No')

else:

    print('Yes')

import math

N = int(eval(input()))
if N % 10 == 7:
    print("Yes")
elif (N - N % 10) % 100 == 70:
    print("Yes")
elif N - N % 100 == 700:
    print("Yes")
else:
    print("No")

S = eval(input())
X = 0
for i in range(3):
    if int(S[i]) == 7:
        X += 1
if X == 0:
    print("No")
else:
    print("Yes")

-import math - -N = int(eval(input())) -if N % 10 == 7: +S = eval(input()) +X = 0 +for i in range(3): +    if int(S[i]) == 7: +        X += 1 +if X == 0: +    print("No") +else: -elif (N - N % 10) % 100 == 70: -    print("Yes") -elif N - N % 100 == 700: -    print("Yes") -else: -    print("No")