#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
#include <algorithm>
#include <string>
#include <queue>
 
using namespace std;
 
int main()
{
	int n;
	cin>>n;
	for(int i=0;i<3;i++){
		if(n%10==7){
			cout<<"Yes"<<endl;
			return 0;
		}
		n=n/10;
	}
	cout<<"No"<<endl;
	return 0;
}
