#include <iostream>

using namespace std;

int main() {
  int n;
  cin >> n;
  bool flag = false;
  for (; n; n /= 10)
    if (n % 10 == 7)
      flag = true;
  cout << (flag ? "Yes" : "No") << endl;
}