N = int(input())

divisor = 100
N_temp = N

there_is_seven = False
while divisor != 0.1:
    if N_temp // divisor == 7:
        there_is_seven = True
    N_temp %= divisor
    divisor /= 10

if there_is_seven: 
    print("Yes")
else:
    print("No")