import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		// TODO Auto-generated method stub
		Scanner kb = new Scanner(System.in);
		String n = kb.next();
		if (n.contains("7")) {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		kb.close();
	}

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

	public static void main(String[] args) {
		// TODO Auto-generated method stub
		Scanner kb = new Scanner(System.in);
		String n = kb.next();
		if (n.contains("7")) {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		kb.close();
	}

} Main public static void main(String[] args) {
		// TODO Auto-generated method stub
		Scanner kb = new Scanner(System.in);
		String n = kb.next();
		if (n.contains("7")) {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		kb.close();
	} main {
		// TODO Auto-generated method stub
		Scanner kb = new Scanner(System.in);
		String n = kb.next();
		if (n.contains("7")) {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		kb.close();
	} Scanner kb = new Scanner(System.in); kb new Scanner(System.in) String n = kb.next(); n kb.next() kb.next kb 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" kb.close() kb.close kb String[] args args public class Main {

	public static void main(String[] args) {
		// TODO Auto-generated method stub
		Scanner kb = new Scanner(System.in);
		String n = kb.next();
		if (n.contains("7")) {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		kb.close();
	}

} public class Main {

	public static void main(String[] args) {
		// TODO Auto-generated method stub
		Scanner kb = new Scanner(System.in);
		String n = kb.next();
		if (n.contains("7")) {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		kb.close();
	}

} Main
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		// TODO Auto-generated method stub
		Scanner kb = new Scanner(System.in);
		String n = kb.next();
		if (n.contains("7")) {
			System.out.println("Yes");
		} else {
			System.out.println("No");
		}

		kb.close();
	}

}
