#include<bits/stdc++.h>
using namespace std;
static int fast_io = []() { std::ios::sync_with_stdio(false); cin.tie(nullptr); return 0; }();
int main(){
  string input;
  cin>>input;
  for(auto c:input){
    if(c=='7'){
      cout<<"Yes"<<"\n";  
      return 0;
    }
  }
  cout<<"No"<<"\n";  
 
  
  return 0;
}