#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define INF (INT_MAX / 4)
#define REP(i, n) for (ll i = 0, i##_len = (n); i < i##_len; ++i)
#define TIMER_S(start) chrono::system_clock::time_point start = chrono::system_clock::now();
#define TIMER_E(end) chrono::system_clock::time_point end = chrono::system_clock::now();
#define TIME(start, end) cout << static_cast<double>(chrono::duration_cast<chrono::microseconds>(end - start).count()) << "ms" \
                            << "\n";

int main()
{
    int a;
    cin >> a;
    if (a / 100 == 7 || (a - (a / 100) * 100) / 10 == 7 || (a - (a / 100) * 100) - ((a - (a / 100) * 100) / 10)*10==7){
        cout << "Yes" << "\n";
    }else{
        cout << "No" << "\n";
    }
        return 0;
}
