#include "bits/stdc++.h"
using namespace std;
#define fios ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
#define DEBUG(x) cout << '>' << #x << ':' << x << endl;
typedef long long ll;

int main() {
	// fios;
	string n;
	cin >> n;
	if(n.find("7") != string::npos) puts("Yes");
	else puts("No");

}