# import numpy as np
# import math
# import copy
# from collections import deque
import sys
input = sys.stdin.readline
# sys.setrecursionlimit(10000)


def main():
    N = input().rstrip()

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



main()
