import java.util.Scanner;
public class Main {
	static int N;
	static int b=0;
	public static String dfs(int a) {
		if(a%10==7) {
			b=1;
			return "Yes";
		}
		else if(a<10&&b==0) {
			return "No";
		}
		else {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		}
	}
	
	public static void main(String args[]) {
	Scanner sc=new Scanner(System.in);
	N=sc.nextInt();
	System.out.println(dfs(N));
	}
} import java.util.Scanner; Scanner java.util public class Main {
	static int N;
	static int b=0;
	public static String dfs(int a) {
		if(a%10==7) {
			b=1;
			return "Yes";
		}
		else if(a<10&&b==0) {
			return "No";
		}
		else {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		}
	}
	
	public static void main(String args[]) {
	Scanner sc=new Scanner(System.in);
	N=sc.nextInt();
	System.out.println(dfs(N));
	}
} Main static int N; N static int b=0; b 0 public static String dfs(int a) {
		if(a%10==7) {
			b=1;
			return "Yes";
		}
		else if(a<10&&b==0) {
			return "No";
		}
		else {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		}
	} dfs {
		if(a%10==7) {
			b=1;
			return "Yes";
		}
		else if(a<10&&b==0) {
			return "No";
		}
		else {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		}
	} if(a%10==7) {
			b=1;
			return "Yes";
		}
		else if(a<10&&b==0) {
			return "No";
		}
		else {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		} a%10==7 a%10 a 10 7 {
			b=1;
			return "Yes";
		} b=1 b 1 return "Yes"; "Yes" if(a<10&&b==0) {
			return "No";
		}
		else {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		} a<10&&b==0 a<10 a 10 b==0 b 0 {
			return "No";
		} return "No"; "No" {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		} String ans="No"; ans "No" for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			} int i=0; int i=0; i 0 i<3 i 3 i++ i++ i {
				ans=dfs((a-a%10)/10);
			} {
				ans=dfs((a-a%10)/10);
			} ans=dfs((a-a%10)/10) ans dfs((a-a%10)/10) dfs (a-a%10)/10 (a-a%10) a a%10 a 10 10 return ans; ans int a a public static void main(String args[]) {
	Scanner sc=new Scanner(System.in);
	N=sc.nextInt();
	System.out.println(dfs(N));
	} main {
	Scanner sc=new Scanner(System.in);
	N=sc.nextInt();
	System.out.println(dfs(N));
	} Scanner sc=new Scanner(System.in); sc new Scanner(System.in) N=sc.nextInt() N sc.nextInt() sc.nextInt sc System.out.println(dfs(N)) System.out.println System.out System System.out dfs(N) dfs N String args[] args public class Main {
	static int N;
	static int b=0;
	public static String dfs(int a) {
		if(a%10==7) {
			b=1;
			return "Yes";
		}
		else if(a<10&&b==0) {
			return "No";
		}
		else {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		}
	}
	
	public static void main(String args[]) {
	Scanner sc=new Scanner(System.in);
	N=sc.nextInt();
	System.out.println(dfs(N));
	}
} public class Main {
	static int N;
	static int b=0;
	public static String dfs(int a) {
		if(a%10==7) {
			b=1;
			return "Yes";
		}
		else if(a<10&&b==0) {
			return "No";
		}
		else {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		}
	}
	
	public static void main(String args[]) {
	Scanner sc=new Scanner(System.in);
	N=sc.nextInt();
	System.out.println(dfs(N));
	}
} Main
import java.util.Scanner;
public class Main {
	static int N;
	static int b=0;
	public static String dfs(int a) {
		if(a%10==7) {
			b=1;
			return "Yes";
		}
		else if(a<10&&b==0) {
			return "No";
		}
		else {
			String ans="No";
			for(int i=0;i<3;i++) {
				ans=dfs((a-a%10)/10);
			}
			return ans;
		}
	}
	
	public static void main(String args[]) {
	Scanner sc=new Scanner(System.in);
	N=sc.nextInt();
	System.out.println(dfs(N));
	}
}
