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

int main() {
  int N;
  cin>>N;
    if(N/100==7)
      cout<<"Yes"<<endl;
    else if(N%100/10==7)
      cout<<"Yes"<<endl;
  	else if(N%10==7)
      cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
}
 

