import sys



A = eval(input())



for i in range(len(A)):

    if A[i] == '7':

        print('Yes')

        sys.exit()

print('No')
N = eval(input())

ans = list(set(N))

#print(ans)

if ans.count('7'):

    print('Yes')

else:

    print('No')

import sys

A = eval(input())
for i in range(len(A)):
    if A[i] == "7":
        print("Yes")
        sys.exit()
print("No")

N = eval(input())
ans = list(set(N))
# print(ans)
if ans.count("7"):
    print("Yes")
else:
    print("No")

-import sys - -A = eval(input()) -for i in range(len(A)): -    if A[i] == "7": -        print("Yes") -        sys.exit() -print("No") +N = eval(input()) +ans = list(set(N)) +# print(ans) +if ans.count("7"): +    print("Yes") +else: +    print("No")