#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef long double ld;
typedef pair<ll, ll> l_l;
typedef pair<int, int> i_i;
typedef vector<ll> vl;
typedef vector<int> vi;
typedef vector<char> vec;
typedef vector<bool> veb;
typedef vector<string> ves;
typedef vector<vector<ll>> vvl;
typedef vector<vector<int>> vvi;
typedef vector<vector<char>> vvec;
typedef vector<vector<bool>> vveb;
typedef vector<vector<string>> vves;
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define rep1(i,n) for(int i=1;i<(int)(n);i++)
#define rep2(i,n) for(int i=2;i<(int)(n);i++)
#define repk(i,k,n) for(int i=k;i<(int)(n);i++)
#define fs first
#define sc second
#define pb push_back
#define pp pop_back
#define all(a) a.begin(),a.end()
#define rall(a) a.rbegin(),a.rend()
#define maxel(a) *max_element(all(a))
#define minel(a) *min_element(all(a))
#define acc accumulate
#define EPS (1e-7)
#define INF (1e9)
#define PI (acos(-1))
typedef long long int64;
#define dame { puts("-1"); return 0;}
#define YES { cout << "YES" << endl; return 0; }
#define NO { cout << "NO" << endl; return 0; }
#define Yes { cout << "Yes" << endl; return 0; }
#define No { cout << "No" << endl; return 0; }
template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> bool chmin(T& a, const T& b) { if (a > b) { a = b; return 1; } return 0; }
#include <chrono>

int n = 4;
int k = 8;
int MAX_N = 4;
vi a = { 1, 2, 4, 7 };

bool dfs(int i, int sum) {
	if (i == n) {
		cout << 1 << " " << i << " " << sum << endl;
		return sum == k;
	}
	// a[i]を使わない場合
	if (dfs(i + 1, sum)) {
		cout << 2 << " " << i << " " << sum << endl;
		return true;
	}
	// a[i]を使う場合
	if (dfs(i + 1, sum + a[i])) {
		cout << 3 << " " << i << " " << sum << endl;
		return true;
	}
	// a[i]を使う使わないに拘わらずkが作れないのでfalseを返す
	cout << 4 << " " << i << " " << sum << endl;
	return false;
}
void solve() {
	if (dfs(0, 0)) cout << "Yes" << endl;
	else cout << "No" << endl;
}
int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);

	string str;
	cin >> str;
	rep(i, str.length()) {
		if (str.at(i) == '7') {
			Yes;
		}
	}
	No;

	return 0;
}
