n=int(eval(input()))

while(n!=0):

    digit=n%10

    if(digit==7):

        flag=1

        break

    else:

        flag=0

    n=n//10

if(flag==1):

    print("Yes")

else:

    print("No")
N=int(eval(input()))

if '7' in str(N):

    print('Yes')

else:

    print('No')

n = int(eval(input()))
while n != 0:
    digit = n % 10
    if digit == 7:
        flag = 1
        break
    else:
        flag = 0
    n = n // 10
if flag == 1:
    print("Yes")
else:
    print("No")

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

-n = int(eval(input())) -while n != 0: -    digit = n % 10 -    if digit == 7: -        flag = 1 -        break -    else: -        flag = 0 -    n = n // 10 -if flag == 1: +N = int(eval(input())) +if "7" in str(N):