#include <bits/stdc++.h>
using namespace std;
int main() {
  int N;
  cin>>N;
  if(N%10==7){
      cout<<"Yes"<<endl;
  }else if((N%100-N%10)==70){
      cout<<"Yes"<<endl;
  }else if((N%1000-N%100)==700){
      cout<<"Yes"<<endl;
  }else{
      cout<<"No"<<endl;
  }
 
}


