import java.util.*;
import java.lang.Math;

public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
      	
      	String n = sc.next();
      	boolean con = true;
      
      	for(int i = 0;i < n.length() && con;i++){
          if(n.charAt(i) == '7') con = false;
        }
      
      	if(con) System.out.println("No");
      	else System.out.println("Yes");
        
	}
} import java.util.*; util.* java import java.lang.Math; Math java.lang public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
      	
      	String n = sc.next();
      	boolean con = true;
      
      	for(int i = 0;i < n.length() && con;i++){
          if(n.charAt(i) == '7') con = false;
        }
      
      	if(con) System.out.println("No");
      	else System.out.println("Yes");
        
	}
} Main public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
      	
      	String n = sc.next();
      	boolean con = true;
      
      	for(int i = 0;i < n.length() && con;i++){
          if(n.charAt(i) == '7') con = false;
        }
      
      	if(con) System.out.println("No");
      	else System.out.println("Yes");
        
	} main {
		Scanner sc = new Scanner(System.in);
      	
      	String n = sc.next();
      	boolean con = true;
      
      	for(int i = 0;i < n.length() && con;i++){
          if(n.charAt(i) == '7') con = false;
        }
      
      	if(con) System.out.println("No");
      	else System.out.println("Yes");
        
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String n = sc.next(); n sc.next() sc.next sc boolean con = true; con true for(int i = 0;i < n.length() && con;i++){
          if(n.charAt(i) == '7') con = false;
        } int i = 0; int i = 0; i 0 i < n.length() && con i < n.length() i n.length() n.length n con i++ i++ i {
          if(n.charAt(i) == '7') con = false;
        } {
          if(n.charAt(i) == '7') con = false;
        } if(n.charAt(i) == '7') con = false; n.charAt(i) == '7' n.charAt(i) n.charAt n i '7' con = false con false if(con) System.out.println("No");
      	else System.out.println("Yes"); con System.out.println("No") System.out.println System.out System System.out "No" System.out.println("Yes") System.out.println System.out System System.out "Yes" String[] args args public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
      	
      	String n = sc.next();
      	boolean con = true;
      
      	for(int i = 0;i < n.length() && con;i++){
          if(n.charAt(i) == '7') con = false;
        }
      
      	if(con) System.out.println("No");
      	else System.out.println("Yes");
        
	}
} public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
      	
      	String n = sc.next();
      	boolean con = true;
      
      	for(int i = 0;i < n.length() && con;i++){
          if(n.charAt(i) == '7') con = false;
        }
      
      	if(con) System.out.println("No");
      	else System.out.println("Yes");
        
	}
} Main
import java.util.*;
import java.lang.Math;

public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
      	
      	String n = sc.next();
      	boolean con = true;
      
      	for(int i = 0;i < n.length() && con;i++){
          if(n.charAt(i) == '7') con = false;
        }
      
      	if(con) System.out.println("No");
      	else System.out.println("Yes");
        
	}
}
