#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for(int i = 0; i < (int)(n); i++)
#define REP(i, n) for(int i = 1; i <= (int)(n); i++)
const long long INF = 1LL << 60;
const double PI=3.14159265358979323846;
int main() 
{
    int n;
    cin >> n;

    rep(i,3){
        if(n%10==7){
            cout << "Yes" <<endl;
            return 0;
        }
        n/=10;
    }

    cout<< "No" <<endl;

}