#include<iostream>
using namespace std;
int main(){
	int n, a[3];
	scanf("%d",&n);
	for(int i=0;i<3;i++){
		a[i]=n%10;
		n/=10;
		if(a[i]==7){
			printf("Yes\n");
			return 0;
		}
	}
	printf("No\n");
	return 0;
} 