#include <bits/stdc++.h>
using namespace std;

int main() {
  string b;

  
 cin>>b;
  char a=b.at(0),c=b.at(1),d=b.at(2);
  if(a =='7' || c=='7' || d=='7')cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
  
 
 
}

