import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ

		Scanner scanner = new Scanner(System.in);

		String N = scanner.next();

		
		if(N.contains("7")) {
			System.out.println("Yes");			
		}
		else {
			System.out.println("No");	
		}

		scanner.close();

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

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ

		Scanner scanner = new Scanner(System.in);

		String N = scanner.next();

		
		if(N.contains("7")) {
			System.out.println("Yes");			
		}
		else {
			System.out.println("No");	
		}

		scanner.close();

	}
} Main public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ

		Scanner scanner = new Scanner(System.in);

		String N = scanner.next();

		
		if(N.contains("7")) {
			System.out.println("Yes");			
		}
		else {
			System.out.println("No");	
		}

		scanner.close();

	} main {
		// TODO 自動生成されたメソッド・スタブ

		Scanner scanner = new Scanner(System.in);

		String N = scanner.next();

		
		if(N.contains("7")) {
			System.out.println("Yes");			
		}
		else {
			System.out.println("No");	
		}

		scanner.close();

	} Scanner scanner = new Scanner(System.in); scanner new Scanner(System.in) String N = scanner.next(); N scanner.next() scanner.next scanner if(N.contains("7")) {
			System.out.println("Yes");			
		}
		else {
			System.out.println("No");	
		} N.contains("7") N.contains N "7" {
			System.out.println("Yes");			
		} System.out.println("Yes") System.out.println System.out System System.out "Yes" {
			System.out.println("No");	
		} System.out.println("No") System.out.println System.out System System.out "No" scanner.close() scanner.close scanner String[] args args public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ

		Scanner scanner = new Scanner(System.in);

		String N = scanner.next();

		
		if(N.contains("7")) {
			System.out.println("Yes");			
		}
		else {
			System.out.println("No");	
		}

		scanner.close();

	}
} public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ

		Scanner scanner = new Scanner(System.in);

		String N = scanner.next();

		
		if(N.contains("7")) {
			System.out.println("Yes");			
		}
		else {
			System.out.println("No");	
		}

		scanner.close();

	}
} Main
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ

		Scanner scanner = new Scanner(System.in);

		String N = scanner.next();

		
		if(N.contains("7")) {
			System.out.println("Yes");			
		}
		else {
			System.out.println("No");	
		}

		scanner.close();

	}
}