import java.util.*;

public class Main {
    public static void main(String[] args) throws Exception {
        Scanner sc = new Scanner(System.in);
        String n = sc.next();
        
        System.out.println(n.indexOf("7")>=0 ? "Yes" : "No");
    }
} import java.util.*; util.* java public class Main {
    public static void main(String[] args) throws Exception {
        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) throws Exception {
        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) throws Exception {
        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) throws Exception {
        Scanner sc = new Scanner(System.in);
        String n = sc.next();
        
        System.out.println(n.indexOf("7")>=0 ? "Yes" : "No");
    }
} Main
import java.util.*;

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