#include <iostream>
#include <math.h>
#include <vector>
#include <map>
#include <set>
#include <climits>
#include <algorithm>
using namespace std;


int main() 
{
	int n;
	cin>>n;
	while(n){
		if(n%10==7){
			cout<<"Yes";
			return 0;
		}
		n/=10;
	}

	cout<<"No";
	return 0;

}
