#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (n); i++)
#define rep1(i, n) for (int i = 1; i < (n); i++)
#define erep(i, n) for (int i = 0; i <= (n); i++)
#define erep1(i, n) for (int i = 1; i <= (n); i++)
using namespace std;
using ll = long long;


int main() {
    int N;
    int a[3] = {0};
    cin >> N;
    a[0] = N / 100;
    a[1] = (N - a[0] * 100) / 10;
    a[2] = (N - a[0] * 100 - a[1] * 10);
    rep(i,3){
        if(a[i]==7){
            cout << "Yes" << endl;
            return 0;
        }
    }
    cout << "No" << endl;
}