import java.util.*;
public class Main {
    public static void main(String[] args){
      // 入力
      Scanner sc = new Scanner(System.in);
      int N = sc.nextInt();
      
      // 7が含まれるか判定
      int work;
      int digit100 = N / 100;
      work = N % 100;
      int digit10 = work / 10;
      int digit1 = work % 10;
      
      String result = "Yes";
      if(digit100 != 7 && digit10 != 7 && digit1 != 7){
        result = "No";
      }
      
      // 出力
      System.out.println(result);
    }

} import java.util.*; util.* java public class Main {
    public static void main(String[] args){
      // 入力
      Scanner sc = new Scanner(System.in);
      int N = sc.nextInt();
      
      // 7が含まれるか判定
      int work;
      int digit100 = N / 100;
      work = N % 100;
      int digit10 = work / 10;
      int digit1 = work % 10;
      
      String result = "Yes";
      if(digit100 != 7 && digit10 != 7 && digit1 != 7){
        result = "No";
      }
      
      // 出力
      System.out.println(result);
    }

} Main public static void main(String[] args){
      // 入力
      Scanner sc = new Scanner(System.in);
      int N = sc.nextInt();
      
      // 7が含まれるか判定
      int work;
      int digit100 = N / 100;
      work = N % 100;
      int digit10 = work / 10;
      int digit1 = work % 10;
      
      String result = "Yes";
      if(digit100 != 7 && digit10 != 7 && digit1 != 7){
        result = "No";
      }
      
      // 出力
      System.out.println(result);
    } main {
      // 入力
      Scanner sc = new Scanner(System.in);
      int N = sc.nextInt();
      
      // 7が含まれるか判定
      int work;
      int digit100 = N / 100;
      work = N % 100;
      int digit10 = work / 10;
      int digit1 = work % 10;
      
      String result = "Yes";
      if(digit100 != 7 && digit10 != 7 && digit1 != 7){
        result = "No";
      }
      
      // 出力
      System.out.println(result);
    } Scanner sc = new Scanner(System.in); sc new Scanner(System.in) int N = sc.nextInt(); N sc.nextInt() sc.nextInt sc int work; work int digit100 = N / 100; digit100 N / 100 N 100 work = N % 100 work N % 100 N 100 int digit10 = work / 10; digit10 work / 10 work 10 int digit1 = work % 10; digit1 work % 10 work 10 String result = "Yes"; result "Yes" if(digit100 != 7 && digit10 != 7 && digit1 != 7){
        result = "No";
      } digit100 != 7 && digit10 != 7 && digit1 != 7 digit100 != 7 && digit10 != 7 && digit1 != 7 digit100 != 7 digit100 7 digit10 != 7 digit10 7 digit1 != 7 digit1 7 {
        result = "No";
      } result = "No" result "No" System.out.println(result) System.out.println System.out System System.out result String[] args args public class Main {
    public static void main(String[] args){
      // 入力
      Scanner sc = new Scanner(System.in);
      int N = sc.nextInt();
      
      // 7が含まれるか判定
      int work;
      int digit100 = N / 100;
      work = N % 100;
      int digit10 = work / 10;
      int digit1 = work % 10;
      
      String result = "Yes";
      if(digit100 != 7 && digit10 != 7 && digit1 != 7){
        result = "No";
      }
      
      // 出力
      System.out.println(result);
    }

} public class Main {
    public static void main(String[] args){
      // 入力
      Scanner sc = new Scanner(System.in);
      int N = sc.nextInt();
      
      // 7が含まれるか判定
      int work;
      int digit100 = N / 100;
      work = N % 100;
      int digit10 = work / 10;
      int digit1 = work % 10;
      
      String result = "Yes";
      if(digit100 != 7 && digit10 != 7 && digit1 != 7){
        result = "No";
      }
      
      // 出力
      System.out.println(result);
    }

} Main
import java.util.*;
public class Main {
    public static void main(String[] args){
      // 入力
      Scanner sc = new Scanner(System.in);
      int N = sc.nextInt();
      
      // 7が含まれるか判定
      int work;
      int digit100 = N / 100;
      work = N % 100;
      int digit10 = work / 10;
      int digit1 = work % 10;
      
      String result = "Yes";
      if(digit100 != 7 && digit10 != 7 && digit1 != 7){
        result = "No";
      }
      
      // 出力
      System.out.println(result);
    }

}