#include <bits/stdc++.h>
#define rep( i, n ) for (long long i = 0; i < ( long long )(n); i++)

using namespace std;
typedef long long ll;
typedef pair< int , int > P;

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

    if(n/100==7) {
        cout<<"Yes";
        return 0; 
    }
    else if(n%10==7){
        cout<<"Yes";
        return 0; 
    }
    else if((n/10)%10==7){
        cout<<"Yes";
        return 0;
    }
    else{
        cout<<"No";
    }


} 