import sys

input = sys.stdin.readline

from itertools import *

from functools import *

from collections import *

from heapq import heapify, heappop, heappush, heappushpop



INF = float('inf')

NIL = - 1





def number2digits(number):

    return list(map(int, str(number)))





def main():

    N = int(eval(input()))

    num_ls = number2digits(N)



    if 7 in num_ls:

        print('Yes')

    else:

        print('No')





if __name__ == '__main__':

    main()

import sys

sys.setrecursionlimit(10 ** 9)

input = sys.stdin.readline

from itertools import permutations,  combinations, accumulate

from functools import *

from collections import deque, defaultdict, Counter

from heapq import heapify, heappop, heappush, heappushpop



INF = float('inf')

NIL = - 1





N = input().rstrip()

n_digits = list(map(int, list(N)))



print(('Yes' if 7 in n_digits else 'No'))

import sys

input = sys.stdin.readline
from itertools import *
from functools import *
from collections import *
from heapq import heapify, heappop, heappush, heappushpop

INF = float("inf")
NIL = -1


def number2digits(number):
    return list(map(int, str(number)))


def main():
    N = int(eval(input()))
    num_ls = number2digits(N)
    if 7 in num_ls:
        print("Yes")
    else:
        print("No")


if __name__ == "__main__":
    main()

import sys

sys.setrecursionlimit(10**9)
input = sys.stdin.readline
from itertools import permutations, combinations, accumulate
from functools import *
from collections import deque, defaultdict, Counter
from heapq import heapify, heappop, heappush, heappushpop

INF = float("inf")
NIL = -1
N = input().rstrip()
n_digits = list(map(int, list(N)))
print(("Yes" if 7 in n_digits else "No"))

+sys.setrecursionlimit(10**9) -from itertools import * +from itertools import permutations, combinations, accumulate -from collections import * +from collections import deque, defaultdict, Counter - - -def number2digits(number): -    return list(map(int, str(number))) - - -def main(): -    N = int(eval(input())) -    num_ls = number2digits(N) -    if 7 in num_ls: -        print("Yes") -    else: -        print("No") - - -if __name__ == "__main__": -    main() +N = input().rstrip() +n_digits = list(map(int, list(N))) +print(("Yes" if 7 in n_digits else "No"))