#include <algorithm>
#include<iostream>
#include<stdio.h>
#include <algorithm>
#include<iostream>
#include<stdio.h>
#include<vector>
#include<set>
#include<string>
#include<iomanip>
#include<queue>
#include<functional>
#include<cmath>
#include <numeric>
#define rep(i,n) for(int i=0; i<(int)n; i++)//n回繰り返す
using namespace std;
using ll = long long;
using P = pair<int, int>;
using graph = vector<vector<int>>;
int main() {
	string N;
	cin >> N;
	if (N[0] == 7 || N[1] == 7 || N[2] == 7) {
		cout << "Yes" << endl;
	}
	else {
		cout << "No" << endl;
	}



}






























	
	





	
	


	


	


		




