#include <bits/stdc++.h>
#include <set>
#define rep(i,n) for (int i=0; i < (n); ++i)
#define all(a) a.begin(), a.end()
using ll = long long;
using namespace std;


int main() {
  int n; cin >> n;
  int x = n / 100;
  int y = (n - x*100) / 10;
  int z = n % 10;
  if (x == 7|| y == 7|| z == 7 ) cout << "Yes";
  else cout << "No";
  cout << endl;
  return 0;
  
}