import sys
import math
import collections
from collections import deque
import heapq
n = int(input())
#n, k = map(int, sys.stdin.readline().split())
#s = input()
#a = list(map(int, sys.stdin.readline().split()))

s = str(n)
for i in range(len(s)):
    if s[i] == "7":
        print("Yes")
        sys.exit()

print("No")
            




    
