import java.io.*;

public class Main
{
	public static void main(String[] args) throws IOException
	{
		BufferedReader br=
		new BufferedReader(new InputStreamReader(System.in));
		
		String str = br.readLine();
		int num = str.indexOf('7');
		if(num <0){
			System.out.println("No");
		}else{
			System.out.println("Yes");
		}
	}
} import java.io.*; io.* java public class Main
{
	public static void main(String[] args) throws IOException
	{
		BufferedReader br=
		new BufferedReader(new InputStreamReader(System.in));
		
		String str = br.readLine();
		int num = str.indexOf('7');
		if(num <0){
			System.out.println("No");
		}else{
			System.out.println("Yes");
		}
	}
} Main public static void main(String[] args) throws IOException
	{
		BufferedReader br=
		new BufferedReader(new InputStreamReader(System.in));
		
		String str = br.readLine();
		int num = str.indexOf('7');
		if(num <0){
			System.out.println("No");
		}else{
			System.out.println("Yes");
		}
	} main {
		BufferedReader br=
		new BufferedReader(new InputStreamReader(System.in));
		
		String str = br.readLine();
		int num = str.indexOf('7');
		if(num <0){
			System.out.println("No");
		}else{
			System.out.println("Yes");
		}
	} BufferedReader br=
		new BufferedReader(new InputStreamReader(System.in)); br new BufferedReader(new InputStreamReader(System.in)) String str = br.readLine(); str br.readLine() br.readLine br int num = str.indexOf('7'); num str.indexOf('7') str.indexOf str '7' if(num <0){
			System.out.println("No");
		}else{
			System.out.println("Yes");
		} num <0 num 0 {
			System.out.println("No");
		} System.out.println("No") System.out.println System.out System System.out "No" {
			System.out.println("Yes");
		} 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) throws IOException
	{
		BufferedReader br=
		new BufferedReader(new InputStreamReader(System.in));
		
		String str = br.readLine();
		int num = str.indexOf('7');
		if(num <0){
			System.out.println("No");
		}else{
			System.out.println("Yes");
		}
	}
} public class Main
{
	public static void main(String[] args) throws IOException
	{
		BufferedReader br=
		new BufferedReader(new InputStreamReader(System.in));
		
		String str = br.readLine();
		int num = str.indexOf('7');
		if(num <0){
			System.out.println("No");
		}else{
			System.out.println("Yes");
		}
	}
} Main
import java.io.*;

public class Main
{
	public static void main(String[] args) throws IOException
	{
		BufferedReader br=
		new BufferedReader(new InputStreamReader(System.in));
		
		String str = br.readLine();
		int num = str.indexOf('7');
		if(num <0){
			System.out.println("No");
		}else{
			System.out.println("Yes");
		}
	}
}