import java.util.Scanner;
//import java.util.Random;

class Main{
	public static void main(String[] args){
		Scanner stdIn=new Scanner(System.in);
		
		String s=stdIn.next();
		
		int idx=s.indexOf("7");
		if(idx==-1) System.out.println("No");
		else System.out.println("Yes");
	}
} import java.util.Scanner; Scanner java.util class Main{
	public static void main(String[] args){
		Scanner stdIn=new Scanner(System.in);
		
		String s=stdIn.next();
		
		int idx=s.indexOf("7");
		if(idx==-1) System.out.println("No");
		else System.out.println("Yes");
	}
} Main public static void main(String[] args){
		Scanner stdIn=new Scanner(System.in);
		
		String s=stdIn.next();
		
		int idx=s.indexOf("7");
		if(idx==-1) System.out.println("No");
		else System.out.println("Yes");
	} main {
		Scanner stdIn=new Scanner(System.in);
		
		String s=stdIn.next();
		
		int idx=s.indexOf("7");
		if(idx==-1) System.out.println("No");
		else System.out.println("Yes");
	} Scanner stdIn=new Scanner(System.in); stdIn new Scanner(System.in) String s=stdIn.next(); s stdIn.next() stdIn.next stdIn int idx=s.indexOf("7"); idx s.indexOf("7") s.indexOf s "7" if(idx==-1) System.out.println("No");
		else System.out.println("Yes"); idx==-1 idx -1 1 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
import java.util.Scanner;
//import java.util.Random;

class Main{
	public static void main(String[] args){
		Scanner stdIn=new Scanner(System.in);
		
		String s=stdIn.next();
		
		int idx=s.indexOf("7");
		if(idx==-1) System.out.println("No");
		else System.out.println("Yes");
	}
}