import java.util.*;

public class Main {
    public static void main(String[] args) throws Exception {
        String[] lines = getStdin();
        String number = lines[0];
        String[] num = number.split("");
        int hundred = Integer.parseInt(num[0]);
        int ten = Integer.parseInt(num[1]);
        int one = Integer.parseInt(num[2]);

        for (int i = 0; i < num.length; i++){
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        }
            System.out.println("No");

    }
  
  private static String[] getStdin() {
    Scanner scanner = new Scanner(System.in);
    ArrayList<String> lines = new ArrayList<>();
    while (scanner.hasNext()) {
      lines.add(scanner.nextLine());
    }
    return lines.toArray(new String[lines.size()]);
  }
  
} import java.util.*; util.* java public class Main {
    public static void main(String[] args) throws Exception {
        String[] lines = getStdin();
        String number = lines[0];
        String[] num = number.split("");
        int hundred = Integer.parseInt(num[0]);
        int ten = Integer.parseInt(num[1]);
        int one = Integer.parseInt(num[2]);

        for (int i = 0; i < num.length; i++){
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        }
            System.out.println("No");

    }
  
  private static String[] getStdin() {
    Scanner scanner = new Scanner(System.in);
    ArrayList<String> lines = new ArrayList<>();
    while (scanner.hasNext()) {
      lines.add(scanner.nextLine());
    }
    return lines.toArray(new String[lines.size()]);
  }
  
} Main public static void main(String[] args) throws Exception {
        String[] lines = getStdin();
        String number = lines[0];
        String[] num = number.split("");
        int hundred = Integer.parseInt(num[0]);
        int ten = Integer.parseInt(num[1]);
        int one = Integer.parseInt(num[2]);

        for (int i = 0; i < num.length; i++){
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        }
            System.out.println("No");

    } main {
        String[] lines = getStdin();
        String number = lines[0];
        String[] num = number.split("");
        int hundred = Integer.parseInt(num[0]);
        int ten = Integer.parseInt(num[1]);
        int one = Integer.parseInt(num[2]);

        for (int i = 0; i < num.length; i++){
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        }
            System.out.println("No");

    } String[] lines = getStdin(); lines getStdin() getStdin String number = lines[0]; number lines[0] lines 0 String[] num = number.split(""); num number.split("") number.split number "" int hundred = Integer.parseInt(num[0]); hundred Integer.parseInt(num[0]) Integer.parseInt Integer num[0] num 0 int ten = Integer.parseInt(num[1]); ten Integer.parseInt(num[1]) Integer.parseInt Integer num[1] num 1 int one = Integer.parseInt(num[2]); one Integer.parseInt(num[2]) Integer.parseInt Integer num[2] num 2 for (int i = 0; i < num.length; i++){
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        } int i = 0; int i = 0; i 0 i < num.length i num.length num num.length i++ i++ i {
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        } {
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        } if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            } num[i].contains("7") num[i].contains num[i] num i "7" {
                System.out.println("Yes");
                return;
            } System.out.println("Yes") System.out.println System.out System System.out "Yes" return; System.out.println("No") System.out.println System.out System System.out "No" String[] args args private static String[] getStdin() {
    Scanner scanner = new Scanner(System.in);
    ArrayList<String> lines = new ArrayList<>();
    while (scanner.hasNext()) {
      lines.add(scanner.nextLine());
    }
    return lines.toArray(new String[lines.size()]);
  } getStdin {
    Scanner scanner = new Scanner(System.in);
    ArrayList<String> lines = new ArrayList<>();
    while (scanner.hasNext()) {
      lines.add(scanner.nextLine());
    }
    return lines.toArray(new String[lines.size()]);
  } Scanner scanner = new Scanner(System.in); scanner new Scanner(System.in) ArrayList<String> lines = new ArrayList<>(); lines new ArrayList<>() while (scanner.hasNext()) {
      lines.add(scanner.nextLine());
    } scanner.hasNext() scanner.hasNext scanner {
      lines.add(scanner.nextLine());
    } lines.add(scanner.nextLine()) lines.add lines scanner.nextLine() scanner.nextLine scanner return lines.toArray(new String[lines.size()]); lines.toArray(new String[lines.size()]) lines.toArray lines new String[lines.size()] lines.size() lines.size lines public class Main {
    public static void main(String[] args) throws Exception {
        String[] lines = getStdin();
        String number = lines[0];
        String[] num = number.split("");
        int hundred = Integer.parseInt(num[0]);
        int ten = Integer.parseInt(num[1]);
        int one = Integer.parseInt(num[2]);

        for (int i = 0; i < num.length; i++){
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        }
            System.out.println("No");

    }
  
  private static String[] getStdin() {
    Scanner scanner = new Scanner(System.in);
    ArrayList<String> lines = new ArrayList<>();
    while (scanner.hasNext()) {
      lines.add(scanner.nextLine());
    }
    return lines.toArray(new String[lines.size()]);
  }
  
} public class Main {
    public static void main(String[] args) throws Exception {
        String[] lines = getStdin();
        String number = lines[0];
        String[] num = number.split("");
        int hundred = Integer.parseInt(num[0]);
        int ten = Integer.parseInt(num[1]);
        int one = Integer.parseInt(num[2]);

        for (int i = 0; i < num.length; i++){
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        }
            System.out.println("No");

    }
  
  private static String[] getStdin() {
    Scanner scanner = new Scanner(System.in);
    ArrayList<String> lines = new ArrayList<>();
    while (scanner.hasNext()) {
      lines.add(scanner.nextLine());
    }
    return lines.toArray(new String[lines.size()]);
  }
  
} Main
import java.util.*;

public class Main {
    public static void main(String[] args) throws Exception {
        String[] lines = getStdin();
        String number = lines[0];
        String[] num = number.split("");
        int hundred = Integer.parseInt(num[0]);
        int ten = Integer.parseInt(num[1]);
        int one = Integer.parseInt(num[2]);

        for (int i = 0; i < num.length; i++){
            if (num[i].contains("7")){
                System.out.println("Yes");
                return;
            }
        }
            System.out.println("No");

    }
  
  private static String[] getStdin() {
    Scanner scanner = new Scanner(System.in);
    ArrayList<String> lines = new ArrayList<>();
    while (scanner.hasNext()) {
      lines.add(scanner.nextLine());
    }
    return lines.toArray(new String[lines.size()]);
  }
  
}
