#include<iostream>
#include<vector>
#include <algorithm>
#include <cmath>
#include <numeric>
#include <limits>
#include <map>

#define rep(i,n) for(int (i) = 0;(i)<(n);(i)++)

using namespace std;
using p = pair<int, int>;
using ll = long long;

vector< vector<int> > memo;

int main() {
	string s;
	cin >> s;
	rep(i, s.size()) {
		if (s[i] == '7') {
			cout << "Yes" << endl;;
			return 0;
		}
	}
	cout << "No" << endl;
	return 0;
}
