
def input(): return sys.stdin.readline().strip()
def INT(): return int(input())
def MAP(): return map(int, input().split())
def LIST(): return list(map(int, input().split()))


N = INT()
a = N//100
N %= 100
b = N//10
N %= 10
c = N

if a == 7 or b == 7 or c == 7:
  print("Yes")
else:
  print("No")

