#include <bits/stdc++.h>
#include <algorithm>
#define rep(i,n) for(int i=0;i<(n);++i)
#define all(a) (a).begin(),(a).end()
using namespace std;
using Graph = vector<vector<int>>;
typedef long long ll;
const int mod= 1e+9+7;

int main(){
    int N; cin>>N;
    if(N/100==7||N%10==7||(N%100-N%10)/10==7)cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
}
