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


int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    int n;cin>>n;
    rep(i,3){
      int t=n%10;
      if(t==7){
        cout<<"Yes"<<endl;
        return 0;
      }
      n/=10;
    }
    cout<<"No"<<endl;
    return 0;
}
