number = input('')
new_Num = str(number)
if int(new_Num) in range(100, 999):
    if int(new_Num[0]) == 7 or int(new_Num[1]) == 7 or int(new_Num[2] == 7):
        print("Yes")
    else:
        print("No")