import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.util.StringTokenizer;

public class Main{
  static Integer arr[];
  static int b[];
  static class FastReader{
    StringTokenizer st;
    BufferedReader in;
    public FastReader() {
    in = new BufferedReader(new InputStreamReader(System.in));
    }
    
    String next() {
      while (st == null|| !st.hasMoreElements()) {
        try {
          st = new StringTokenizer(in.readLine());
        } catch(IOException e) {
          e.printStackTrace();
        }
      }
      return st.nextToken();
    }
    
    int nextInt(){
      return Integer.parseInt(next());
    }
    
    long nextLong(){
      return Long.parseLong(next());
    }
    
    double nextDouble(){
      return Double.parseDouble(next());
    }
    
    String nextLine(){
      String str = "";
      try {
        str = in.readLine();
      } catch(IOException e){
        e.printStackTrace();
      }
      return str;
    }
  }
  
  public static void main(String[] args){
    FastReader sc = new FastReader();
    String s = sc.next();
    if(s.contains("7"))
    {
      System.out.println("Yes");
    }else System.out.println("No");
    
  }
}
/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz