#include <iostream>
#include "bits/stdc++.h"
using namespace std;
using graph = vector<vector<int>>;
typedef long long ll;


int main() {
	ll n,m,o;
	cin >> n;
	m = n - n % 10;
	m = m / 10;
	o = m - m % 10;
	o = o / 10;
	if (n % 10 == 7) {
		cout << "Yes" << endl;
	}
	else if (m%10 == 7) {
		cout << "Yes" << endl;
	}
	else if (o == 7) {
		cout << "Yes" << endl;
	}
	else {
		cout << "No" << endl;
	}
	return 0;
}