import java.util.*;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner stdIn=new Scanner(System.in);
		String x=stdIn.next();
        
        if(x.indexOf("7")>=0){
            System.out.println("Yes");
            
        }
        else{
            System.out.print("No");
            
        }
	}

} import java.util.*; util.* java public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner stdIn=new Scanner(System.in);
		String x=stdIn.next();
        
        if(x.indexOf("7")>=0){
            System.out.println("Yes");
            
        }
        else{
            System.out.print("No");
            
        }
	}

} Main public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner stdIn=new Scanner(System.in);
		String x=stdIn.next();
        
        if(x.indexOf("7")>=0){
            System.out.println("Yes");
            
        }
        else{
            System.out.print("No");
            
        }
	} main {
		// TODO 自動生成されたメソッド・スタブ
		Scanner stdIn=new Scanner(System.in);
		String x=stdIn.next();
        
        if(x.indexOf("7")>=0){
            System.out.println("Yes");
            
        }
        else{
            System.out.print("No");
            
        }
	} Scanner stdIn=new Scanner(System.in); stdIn new Scanner(System.in) String x=stdIn.next(); x stdIn.next() stdIn.next stdIn if(x.indexOf("7")>=0){
            System.out.println("Yes");
            
        }
        else{
            System.out.print("No");
            
        } x.indexOf("7")>=0 x.indexOf("7") x.indexOf x "7" 0 {
            System.out.println("Yes");
            
        } System.out.println("Yes") System.out.println System.out System System.out "Yes" {
            System.out.print("No");
            
        } System.out.print("No") System.out.print System.out System System.out "No" String[] args args public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner stdIn=new Scanner(System.in);
		String x=stdIn.next();
        
        if(x.indexOf("7")>=0){
            System.out.println("Yes");
            
        }
        else{
            System.out.print("No");
            
        }
	}

} public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner stdIn=new Scanner(System.in);
		String x=stdIn.next();
        
        if(x.indexOf("7")>=0){
            System.out.println("Yes");
            
        }
        else{
            System.out.print("No");
            
        }
	}

} Main
import java.util.*;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner stdIn=new Scanner(System.in);
		String x=stdIn.next();
        
        if(x.indexOf("7")>=0){
            System.out.println("Yes");
            
        }
        else{
            System.out.print("No");
            
        }
	}

}
