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

signed main(){
  
  string N;
  cin>>N;
  
  for(int i=0;i<3;i++){
    if( N[i] == '7' ){
      cout<<"Yes"<<endl;
      return 0;
    }
  }

  cout<<"No"<<endl;
  
  return 0;
}
