N = eval(input())



print(('Yes' if '7' in str(N) else 'No'))
N = eval(input())



if len(str(N)) == 3:

    print(('Yes' if '7' in str(N) else 'No'))
N = eval(input())
print(("Yes" if "7" in str(N) else "No"))

N = eval(input())
if len(str(N)) == 3:
    print(("Yes" if "7" in str(N) else "No"))

-print(("Yes" if "7" in str(N) else "No")) +if len(str(N)) == 3: +    print(("Yes" if "7" in str(N) else "No"))