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

int main(){
  int N;
  cin>>N;
  N1=N/100;
  N2=N%100;
  N3=N2/10;
  N4=N2%10;
  N5=N4/1;
  N6=N4%1;
  
  if(N1==7 || N3==7  || N4==7){
    cout<<"Yes"<<endl;
  }
  else cout<<"No"<<endl;
}