import sys

input = sys.stdin.readline



def linput():

    return [int(x) for x in input().split()]



n = input().rstrip()



if '7' in n:

    print('Yes')

else:

    print("No")
import sys

input = sys.stdin.readline



n = input().rstrip()



if '7' in n:

    print("Yes")

else:

    print("No")
import sys

input = sys.stdin.readline


def linput():
    return [int(x) for x in input().split()]


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

import sys

input = sys.stdin.readline
n = input().rstrip()
if "7" in n:
    print("Yes")
else:
    print("No")

- - -def linput(): -    return [int(x) for x in input().split()] - -