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

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