import java.util.Scanner;

public class Main {

  public static void main(String[] args) {
    Scanner sc = new Scanner(System.in);
    String n = sc.next();

    System.out.println(n.indexOf('7') >= 0 ? "Yes" : "No");
  }
} import java.util.Scanner; Scanner java.util public class Main {

  public static void main(String[] args) {
    Scanner sc = new Scanner(System.in);
    String n = sc.next();

    System.out.println(n.indexOf('7') >= 0 ? "Yes" : "No");
  }
} Main public static void main(String[] args) {
    Scanner sc = new Scanner(System.in);
    String n = sc.next();

    System.out.println(n.indexOf('7') >= 0 ? "Yes" : "No");
  } main {
    Scanner sc = new Scanner(System.in);
    String n = sc.next();

    System.out.println(n.indexOf('7') >= 0 ? "Yes" : "No");
  } Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String n = sc.next(); n sc.next() sc.next sc System.out.println(n.indexOf('7') >= 0 ? "Yes" : "No") System.out.println System.out System System.out n.indexOf('7') >= 0 ? "Yes" : "No" n.indexOf('7') >= 0 n.indexOf('7') n.indexOf n '7' 0 "Yes" "No" String[] args args public class Main {

  public static void main(String[] args) {
    Scanner sc = new Scanner(System.in);
    String n = sc.next();

    System.out.println(n.indexOf('7') >= 0 ? "Yes" : "No");
  }
} public class Main {

  public static void main(String[] args) {
    Scanner sc = new Scanner(System.in);
    String n = sc.next();

    System.out.println(n.indexOf('7') >= 0 ? "Yes" : "No");
  }
} Main
import java.util.Scanner;

public class Main {

  public static void main(String[] args) {
    Scanner sc = new Scanner(System.in);
    String n = sc.next();

    System.out.println(n.indexOf('7') >= 0 ? "Yes" : "No");
  }
}