#include <iostream>
#include <string>
using namespace std;
int main(int argc, char* argv[])
{
	string N;
	int i;
	cin>>N;
	for (i=0;i<N.length();i++){
		if (N[i]=='7'){
			cout<<"Yes"<<endl;
			return 0;
		}
	}
	cout<<"No"<<endl;
	return 0;
}