import java.util.Scanner;

public class Main {

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

		Scanner sc = new Scanner(System.in);

		String strN = sc.next();

		//"7が含まれているかの判定"
		if(strN.contains("7")) {
			System.out.println("Yes");

		}
		//含まれていない
		else {
			System.out.println("No");
		}

		sc.close();
	}

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

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

		Scanner sc = new Scanner(System.in);

		String strN = sc.next();

		//"7が含まれているかの判定"
		if(strN.contains("7")) {
			System.out.println("Yes");

		}
		//含まれていない
		else {
			System.out.println("No");
		}

		sc.close();
	}

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

		Scanner sc = new Scanner(System.in);

		String strN = sc.next();

		//"7が含まれているかの判定"
		if(strN.contains("7")) {
			System.out.println("Yes");

		}
		//含まれていない
		else {
			System.out.println("No");
		}

		sc.close();
	} main {
		// TODO 自動生成されたメソッド・スタブ

		Scanner sc = new Scanner(System.in);

		String strN = sc.next();

		//"7が含まれているかの判定"
		if(strN.contains("7")) {
			System.out.println("Yes");

		}
		//含まれていない
		else {
			System.out.println("No");
		}

		sc.close();
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) String strN = sc.next(); strN sc.next() sc.next sc if(strN.contains("7")) {
			System.out.println("Yes");

		}
		//含まれていない
		else {
			System.out.println("No");
		} strN.contains("7") strN.contains strN "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" sc.close() sc.close sc String[] args args public class Main {

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

		Scanner sc = new Scanner(System.in);

		String strN = sc.next();

		//"7が含まれているかの判定"
		if(strN.contains("7")) {
			System.out.println("Yes");

		}
		//含まれていない
		else {
			System.out.println("No");
		}

		sc.close();
	}

} public class Main {

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

		Scanner sc = new Scanner(System.in);

		String strN = sc.next();

		//"7が含まれているかの判定"
		if(strN.contains("7")) {
			System.out.println("Yes");

		}
		//含まれていない
		else {
			System.out.println("No");
		}

		sc.close();
	}

} Main
import java.util.Scanner;

public class Main {

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

		Scanner sc = new Scanner(System.in);

		String strN = sc.next();

		//"7が含まれているかの判定"
		if(strN.contains("7")) {
			System.out.println("Yes");

		}
		//含まれていない
		else {
			System.out.println("No");
		}

		sc.close();
	}

}
