def resolve():

    n = eval(input())

    if n[0] == '7' or n[1] == '7' or n[2] == '7':

        print('Yes')

    else:

        print('No')

resolve()
n = eval(input())

if '7' in n:

  print('Yes')

else:

  print('No')
def resolve():
    n = eval(input())
    if n[0] == "7" or n[1] == "7" or n[2] == "7":
        print("Yes")
    else:
        print("No")


resolve()

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

-def resolve(): -    n = eval(input()) -    if n[0] == "7" or n[1] == "7" or n[2] == "7": -        print("Yes") -    else: -        print("No") - - -resolve() +n = eval(input()) +if "7" in n: +    print("Yes") +else: +    print("No")