import sys

from math import sqrt

from collections import Counter, defaultdict, deque



input = sys.stdin.readline

sys.setrecursionlimit(10 ** 6)





def I():

    return int(eval(input()))





def MI():

    return list(map(int, input().split()))





def LI():

    return list(MI())





def LIN(n: int):

    return [I() for _ in range(n)]





inf = float("inf")

mod = 10 ** 9 + 7





def main():

    s = eval(input())

    for n in s:

        if n == "7":

            print("Yes")

            exit()

    print("No")

    pass





if __name__ == "__main__":

    main()

#!/usr/bin/env python3

import sys



input = sys.stdin.readline





def Y():

    print("Yes")





def N():

    print("No")





def S():

    return input().rstrip()





def I():

    return int(eval(input()))





def MI():

    return list(map(int, input().split()))





if "7" in S():

    Y()

else:

    N()

import sys
from math import sqrt
from collections import Counter, defaultdict, deque

input = sys.stdin.readline
sys.setrecursionlimit(10**6)


def I():
    return int(eval(input()))


def MI():
    return list(map(int, input().split()))


def LI():
    return list(MI())


def LIN(n: int):
    return [I() for _ in range(n)]


inf = float("inf")
mod = 10**9 + 7


def main():
    s = eval(input())
    for n in s:
        if n == "7":
            print("Yes")
            exit()
    print("No")
    pass


if __name__ == "__main__":
    main()

#!/usr/bin/env python3
import sys

input = sys.stdin.readline


def Y():
    print("Yes")


def N():
    print("No")


def S():
    return input().rstrip()


def I():
    return int(eval(input()))


def MI():
    return list(map(int, input().split()))


if "7" in S():
    Y()
else:
    N()

+#!/usr/bin/env python3 -from math import sqrt -from collections import Counter, defaultdict, deque -sys.setrecursionlimit(10**6) + + +def Y(): +    print("Yes") + + +def N(): +    print("No") + + +def S(): +    return input().rstrip() -def LI(): -    return list(MI()) - - -def LIN(n: int): -    return [I() for _ in range(n)] - - -inf = float("inf") -mod = 10**9 + 7 - - -def main(): -    s = eval(input()) -    for n in s: -        if n == "7": -            print("Yes") -            exit() -    print("No") -    pass - - -if __name__ == "__main__": -    main() +if "7" in S(): +    Y() +else: +    N()