#include <bits/stdc++.h>

using namespace std;

int main() {
  int N;
  
  cin >> N;
  
  bool ans = false;
  
  while (N != 0) {
    ans = (N % 10 == 7);
    
    if (ans) {
      break;
    }
    
    N /= 10;
  }
  
  cout << (ans ? "Yes" : "No") << endl;
  
  return 0;
}