#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

typedef vector<int> vi;
typedef vector<vector<int>> vvi;
typedef vector<string> vs;

#define rep(i,n) for(int i=0;i<(n);i++)
#define rep1(i,n) for(int i=1;i<(n);i++)
#define all(x) (x).begin(),(x).end()
constexpr auto INF = 5000000000000000;
constexpr auto MOD = 1000000007;

int main() {
	string s;
	cin >> s;
	bool k = false;
	if (s[0] == '7')k = true;
	if (s[1] == '7')k = true;
	if (s[2] == '7')k = true;

	if (k)
		cout << "Yes" << endl;
	else
		cout << "No" << endl;

}