#include<bits/stdc++.h>
using namespace std;
 int main(){
   int N;
   cin >>N;
   string s= to_string(N);
   bool ju=0;
   for(int i=0;i<3;i++){
     if(s.at(i)=='7')
       ju=1;
   }
   if(ju)
     cout << "Yes" << endl;
   else
     cout << "No" << endl;
 }