from collections import *



N = eval(input())



if '7' in N:

    print('Yes')

else:

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



if '7' in N:

    print('Yes')

else:

    print('No')
from collections import *

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

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

-from collections import * -