print((['No','Yes']['7'in eval(input())]))

print(('NYoe s'['7'in eval(input())::2]))
print((["No", "Yes"]["7" in eval(input())]))

print(("NYoe s"["7" in eval(input()) :: 2]))

-print((["No", "Yes"]["7" in eval(input())])) +print(("NYoe s"["7" in eval(input()) :: 2]))