from sys import stdin
from sys import setrecursionlimit
from collections import Counter, deque, defaultdict
setrecursionlimit(1000000)

# INF = float('inf')
INF = int(1e10)

def input():
    return stdin.readline()[:-1]

def main():
    from builtins import int, map
    n = input()
    if n[0] == '7' or n[1] == '7' or n[2] == '7':
        print("Yes")
    else:
        print("No")


if __name__ == '__main__':
    main()