import java.io.*;

public class Main {
    public static void main (String[] args) throws Exception {
        BufferedReader reader =
            new BufferedReader (new InputStreamReader (System.in));
        String line = reader.readLine();
        System.out.println (line.indexOf ("7") == -1 ? "No" : "Yes");
    }
} import java.io.*; io.* java public class Main {
    public static void main (String[] args) throws Exception {
        BufferedReader reader =
            new BufferedReader (new InputStreamReader (System.in));
        String line = reader.readLine();
        System.out.println (line.indexOf ("7") == -1 ? "No" : "Yes");
    }
} Main public static void main (String[] args) throws Exception {
        BufferedReader reader =
            new BufferedReader (new InputStreamReader (System.in));
        String line = reader.readLine();
        System.out.println (line.indexOf ("7") == -1 ? "No" : "Yes");
    } main {
        BufferedReader reader =
            new BufferedReader (new InputStreamReader (System.in));
        String line = reader.readLine();
        System.out.println (line.indexOf ("7") == -1 ? "No" : "Yes");
    } BufferedReader reader =
            new BufferedReader (new InputStreamReader (System.in)); reader new BufferedReader (new InputStreamReader (System.in)) String line = reader.readLine(); line reader.readLine() reader.readLine reader System.out.println (line.indexOf ("7") == -1 ? "No" : "Yes") System.out.println System.out System System.out line.indexOf ("7") == -1 ? "No" : "Yes" line.indexOf ("7") == -1 line.indexOf ("7") line.indexOf line "7" -1 1 "No" "Yes" String[] args args public class Main {
    public static void main (String[] args) throws Exception {
        BufferedReader reader =
            new BufferedReader (new InputStreamReader (System.in));
        String line = reader.readLine();
        System.out.println (line.indexOf ("7") == -1 ? "No" : "Yes");
    }
} public class Main {
    public static void main (String[] args) throws Exception {
        BufferedReader reader =
            new BufferedReader (new InputStreamReader (System.in));
        String line = reader.readLine();
        System.out.println (line.indexOf ("7") == -1 ? "No" : "Yes");
    }
} Main
import java.io.*;

public class Main {
    public static void main (String[] args) throws Exception {
        BufferedReader reader =
            new BufferedReader (new InputStreamReader (System.in));
        String line = reader.readLine();
        System.out.println (line.indexOf ("7") == -1 ? "No" : "Yes");
    }
}