#include <bits/stdc++.h>
#define rep(i,n) for (int i = 0; (i) < (n); ++ (i))
#define loop(i,a,n) for (int i = (a); (i) < (n); ++ (i))
#define ll long long
#define ld long double
#define EPS 0.0000000001
#define INF (int)1e9
#define MOD 0
//#define int ll
using namespace std;
typedef vector<long long> vl;

signed main() {
  string n;
  cin.tie(0);
  ios::sync_with_stdio(false);
  cin >> n;
  rep(i,int(n.size())) {
    if(n[i] == '7') {
      puts("Yes");
      return 0;
    }
  }
  puts("No");
  return 0;
}