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

int main() {
  int n;
  cin >> n;
  
  int tmp = 0;
  if (n / 100 == 7) tmp = 1;
  n %= 100;
  if (n / 10 == 7) tmp = 1;
  n %= 10;
  if (n == 7) tmp = 1;
  
  if (tmp == 1) cout << "Yes" << endl;
  else cout << "No" << endl;
}