#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
 
int main() {
  string N;
  cin>>N;
  rep(i,3){
    if(N.at(i)=='7'){
      cout<<"Yes"<<endl;
      return 0;
    }else if(i==2){
      cout<<"No"<<endl;
    }
  }
}
