#include <bits/stdc++.h>
using namespace std;

int main() {
  int N, a, b, c;
  cin >> N;
  
  a = N / 100;
  b = N % 100 / 10;
  c = N % 100 % 10;
  
  if (a == 7) {
    cout << "Yes" << endl;
  }
  
  else if (b == 7) {
    cout << "Yes" << endl;
  }
  
  else if (c == 7) {
    cout << "Yes" << endl;
  }
}