#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
const int INF=1e9+7;
typedef long long ll;
typedef pair<int,int> P;

int main() {
	string N;
	cin >> N;

	if(N.at(0)=='7' || N.at(1)=='7' || N.at(2) =='7')
		cout << "Yes";
	else
		cout << "No";
	cout << endl;
}