#include <iostream>

using namespace std;

int main () {
  int num;
  cin >> num;
  int count = 0;
  while (num) {
    if (num % 10 == 7) {
      cout << "Yes\n";
      return 0;
    }
    num /= 10;
  }
  return 0;
}