import sys
import numpy as np

n=sys.stdin.readline()
#n,k=map(int,sys.stdin.readline().split())
#a=np.array(sys.stdin.readline().split(),dtype='int64')
#a=np.array([sys.stdin.readline().split() for i in range(n)],dtype='int64')

if '7' in n:
    print('Yes')
else:
    print('No')
