using System;
using System.Collections;
using System.Collections.Generic;

namespace 練習問題
{
    class Program {
        static void Main(string[] args) {
            List<int> pattern = new List<int>();
            int c = 0;
            debug Debug = new debug();
            if (args.Length == 0){
                Debug.FlagFalse();
                /*
                string[] input = Console.ReadLine().Split(' ');
                int a = int.Parse(input[0]);
                int b = int.Parse(input[1]);
                */
                c = int.Parse(Console.ReadLine());

                // string d = Console.ReadLine();

                //string[] input = Console.ReadLine().Split(' ');
            } else {
                Debug.FlagTrue();
                if (args[0] == "1"){
                    pattern.Add(117);
                    c = pattern[0];
                } else if (args[0] == "2"){
                    pattern.Add(123);
                    pattern.Add(4);
                    c = pattern[0];
                } else if (args [0] == "3"){
                    pattern.Add(777);
                    pattern.Add(6);
                    c = pattern[0];
                } else if (args[0] == "4"){
                    pattern.Add(7);
                    pattern.Add(8);
                    c = pattern[0];
                } else if (args[0] == "5"){
                    pattern.Add(9);
                    pattern.Add(10);
                    c = pattern[0];
                } else if (args[0] == "6"){
                    pattern.Add(11);
                    pattern.Add(12);
                    c = pattern[0];
                } else if (args[0] == "7"){
                    pattern.Add(14);
                    pattern.Add(13);
                    c = pattern[0];
                }
            }
            if (c.ToString().Substring(0, 1) == "7"){
                Console.WriteLine("Yes");
            } else if (c.ToString().Substring(1, 1) == "7"){
                Console.WriteLine("Yes");
            } else if (c.ToString().Substring(2, 1) == "7"){
                Console.WriteLine("Yes");
            } else {
                Console.WriteLine("No");
            }
        }
        
        static int intPow(int target,int kaisu){
            int startTarget = target;
            for (int i = 1; i < kaisu; i++)
            {
                target *= startTarget;
            }
            return target;
        }

        static void bubble_sort(List<List<int>> a) {
            int count=0;
            for (int i = 0; i < a.Count; i++) {
                for (int j = 0; j < a.Count-i-1; j++) {
                    // if (a[j] == a[a.Count - 1]){
                    //     continue;
                    // }
                    count++;
                    if (a[j][1] > a[j+1][1]){
                        int localsave = 0;
                        localsave = a[j+1][1];
                        a[j+1][1] = a[j][1];
                        a[j][1] = localsave;
                        localsave = a[j][0];
                        a[j][0] = a[j+1][0];
                        a[j+1][0] = localsave;
                    }
                }
                //debug(a,"途中" + i);
            }
            // debug(a,"result");
            //Console.WriteLine("回数"+count);
            for (int i = 0; i < a.Count; i++)
            {
                Console.WriteLine(a[i][0]+" "+a[i][1]);
            }
        }
        /* 標準入力と標準出力が使えるかのチェック
        static void echo() {
            string echotest = Console.ReadLine();
            Console.WriteLine(echotest);
        }

        static void HelloWorld(){
            Console.WriteLine("Hello World!");
        }
        */
    }

    public class debug{ //宣言時は、「 debug Debug = new debug(); 」推奨
        bool debug_flag = true;
        public void Log(string str){
            if (debug_flag == true){
                Console.WriteLine(str);
            }
        }
        public void Log(int str){
            if (debug_flag == true){
                Console.WriteLine(str);
            }
        }
        public void Log(float str){
            if (debug_flag == true){
                Console.WriteLine(str);
            }
        }
        public void Log(object obj){
            if (debug_flag == true){
                Console.WriteLine(obj);
            }
        }

        public void Log(int[] arr){
            if (debug_flag == true){
                Console.WriteLine(string.Join(",", arr));
            }
        }
        public void Log(string[] arr){
            if (debug_flag == true){
                Console.WriteLine(string.Join(",", arr));
            }
        }
        public void Log(List<int> arr){
            if (debug_flag == true){
                string shuturyoku = "";
                for (int i = 0; i < arr.Count; i++) {
                    shuturyoku += arr[i] + ",";
                }
                Console.WriteLine(shuturyoku.TrimEnd(','));
            }
        }

        public void Log(List<string> arr){
            if (debug_flag == true){
                string shuturyoku = "";
                for (int i = 0; i < arr.Count; i++) {
                    shuturyoku += arr[i] + ",";
                }
                Console.WriteLine(shuturyoku.TrimEnd(','));
            }
        }

        public void Log(List<float> arr){
            if (debug_flag == true){
                string shuturyoku = "";
                for (int i = 0; i < arr.Count; i++) {
                    shuturyoku += arr[i] + ",";
                }
                Console.WriteLine(shuturyoku.TrimEnd(','));
            }
        }
        public void Log(){
            if (debug_flag == true){
                Console.WriteLine("アタイイレナサイ");
            }
        }
        public void FlagFalse(){
            debug_flag = false;
        }
        public void FlagTrue(){
            debug_flag = true;
        }
    }
}

Measured memory_bytes: 27832