import numpy as np
import math
# for AtCoder
# import fractions
from collections import deque 
from functools import reduce

# input = sys.stdin.readline

n = input()

if (n[0] == '7' or n[1] == '7' or n[2] == '7'):
    print('Yes')
else:
    print('No')