#include <bits/stdc++.h>
#define REP(i, n) for(int i = 0; i < n; i++)
#define REPR(i, n) for(int i = n; i >= 0; i--)
#define FOR(i, m, n) for(int i = m; i < n; i++)
#define OUT(s) cout << s << "\n";

int N;
using namespace std;
https://atcoder.jp/contests/abc162/tasks
void Main()
{
    string tmp = to_string(N);
    int a = tmp.find("7");
    if (a == -1) {
        OUT("No");
    } else {
        OUT("Yes");
    }

}

int main()
{
	cin.tie(0);
    ios::sync_with_stdio(false);
    cin >> N;
	// cout << fixed << setprecision(15);
	Main();
    return 0;
}