#include<bits/stdc++.h>
using namespace std;
#define FASTIO ios_base::sync_with_stdio(false);

int main() {
  FASTIO
  int n; cin >> n; 
  bool res = false;
  while(n > 0) {
    if(n%10 == 7) {
      res = true;
      break;
    }
    n = n/10;
  }
  if(res) {
    cout << "Yes\n";
  }  else {
    cout << "No\n";
  }

}