import java.io.*;
import java.lang.*;
import java.util.*;
public class Main{
    public static void main(String[] args) throws IOException{
        BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
        String s=br.readLine();
        boolean ans=(s.indexOf('7')>=0);
        if(ans) System.out.println("Yes");
        else System.out.println("No");
    }
} import java.io.*; io.* java import java.lang.*; lang.* java import java.util.*; util.* java public class Main{
    public static void main(String[] args) throws IOException{
        BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
        String s=br.readLine();
        boolean ans=(s.indexOf('7')>=0);
        if(ans) System.out.println("Yes");
        else System.out.println("No");
    }
} Main public static void main(String[] args) throws IOException{
        BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
        String s=br.readLine();
        boolean ans=(s.indexOf('7')>=0);
        if(ans) System.out.println("Yes");
        else System.out.println("No");
    } main {
        BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
        String s=br.readLine();
        boolean ans=(s.indexOf('7')>=0);
        if(ans) System.out.println("Yes");
        else System.out.println("No");
    } BufferedReader br=new BufferedReader(new InputStreamReader(System.in)); br new BufferedReader(new InputStreamReader(System.in)) String s=br.readLine(); s br.readLine() br.readLine br boolean ans=(s.indexOf('7')>=0); ans (s.indexOf('7')>=0) s.indexOf('7') s.indexOf s '7' 0 if(ans) System.out.println("Yes");
        else System.out.println("No"); ans System.out.println("Yes") System.out.println System.out System System.out "Yes" System.out.println("No") System.out.println System.out System System.out "No" String[] args args public class Main{
    public static void main(String[] args) throws IOException{
        BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
        String s=br.readLine();
        boolean ans=(s.indexOf('7')>=0);
        if(ans) System.out.println("Yes");
        else System.out.println("No");
    }
} public class Main{
    public static void main(String[] args) throws IOException{
        BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
        String s=br.readLine();
        boolean ans=(s.indexOf('7')>=0);
        if(ans) System.out.println("Yes");
        else System.out.println("No");
    }
} Main
import java.io.*;
import java.lang.*;
import java.util.*;
public class Main{
    public static void main(String[] args) throws IOException{
        BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
        String s=br.readLine();
        boolean ans=(s.indexOf('7')>=0);
        if(ans) System.out.println("Yes");
        else System.out.println("No");
    }
}
