from sys import stdin
import sys

# A, B, C = [int(x) for x in stdin.readline().rstrip().split()]
# A,B = [int(x) for x in stdin.readline().rstrip().split()]
# U = input().split()
# A, B = [str(x) for x in stdin.readline().rstrip().split()]
s = list(input())
if s[0] == '7' or s[1] == '7' or s[2] == '7':
    print("Yes")
else:
    print("No")

# print("YES")
# print("NO")
