#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < n; i++)
#define inf 1000000000
typedef long long ll;

int main(){
    int n;
    cin >> n;

    int ama;

    ama = n % 10;
    n /= 10;

    if (ama == 7)
    {
        cout << "Yes" << endl;
        return 0;
    }
    ama = n % 10;
    n /= 10;

     if (ama == 7)
    {
        cout << "Yes" << endl;
        return 0;
    }

    ama = n % 10;
    n /= 10;

    if (ama == 7)
    {
        cout << "Yes" << endl;
        return 0;
    }

    cout << "No" << endl;


    return 0;
}