#include <bits/stdc++.h>
#define rep(i,n) for(ll i = 0; i < n; i++)
using namespace std;
typedef long long ll;

signed main(){
  cin.tie(nullptr);
  ios::sync_with_stdio(false);
  
  string N;
  cin >> N;
  bool ju = false;
  
  rep(i, 3){
    if(N[i] == '7'){
      ju = true;
      break;
    }
  }
  if(ju) cout << "Yes" << "\n";
  else cout << "No" << "\n";

  return 0;
}


