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

int main(){
  int n;
  cin >> n;
  bool f = false;
  rep(i,5) {
    if(n % 10 == 7) f = true;
    n /= 10;
  }
  cout << (f? "Yes" : "No") << endl;
  return 0;
}
