#include <cstdio>
#include <cmath>
#include <iostream>
#include <algorithm>
#include <cstring>
#include <cstdlib>

#include <numeric>

#include <map>

#include <deque>

#include <cassert>

#include <memory>

using namespace std;

typedef unsigned long long LL;

char s[222];

int main() {

  scanf("%s", s);
  for (int i = 0; s[i]; ++i) {
      if (s[i] == '7') {
          cout << "Yes";
          return 0;
      }
  }
  cout << "No";
    

}