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

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

    ll a = n%10;
    ll b = n/10;
    ll c = b%10;
    ll d = b/10;

    if((a==7||c==7)||d==7){
        cout << "Yes" << endl;
    }else{
        cout << "No" <<endl;
    }


    return 0;
}