import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		Scanner scanner = new Scanner(System.in);

		String numberStr = scanner.next();
		

		if (numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '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) {
		Scanner scanner = new Scanner(System.in);

		String numberStr = scanner.next();
		

		if (numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '7') {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		scanner.close();

	}

} Main public static void main(String[] args) {
		Scanner scanner = new Scanner(System.in);

		String numberStr = scanner.next();
		

		if (numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '7') {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		scanner.close();

	} main {
		Scanner scanner = new Scanner(System.in);

		String numberStr = scanner.next();
		

		if (numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '7') {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		scanner.close();

	} Scanner scanner = new Scanner(System.in); scanner new Scanner(System.in) String numberStr = scanner.next(); numberStr scanner.next() scanner.next scanner if (numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '7') {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		} numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '7' numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '7' numberStr.charAt(0) == '7' numberStr.charAt(0) numberStr.charAt numberStr 0 '7' numberStr.charAt(1) == '7' numberStr.charAt(1) numberStr.charAt numberStr 1 '7' numberStr.charAt(2) == '7' numberStr.charAt(2) numberStr.charAt numberStr 2 '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) {
		Scanner scanner = new Scanner(System.in);

		String numberStr = scanner.next();
		

		if (numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '7') {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		scanner.close();

	}

} public class Main {

	public static void main(String[] args) {
		Scanner scanner = new Scanner(System.in);

		String numberStr = scanner.next();
		

		if (numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '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) {
		Scanner scanner = new Scanner(System.in);

		String numberStr = scanner.next();
		

		if (numberStr.charAt(0) == '7' || numberStr.charAt(1) == '7' || numberStr.charAt(2) == '7') {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		scanner.close();

	}

}
