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

int main() {
  string n;
  cin>>n;
  bool x=false;
  rep(i,3){
  if(n[i]=='7') x=true;
  }

 if(x){ cout<<"Yes"<<endl;}
else{
cout<<"No"<<endl;
}
}
