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

int main() {
  string s;
  cin >> s;
  int counter = 0;
  if (s[0] == '7') {
    ++counter
  }
  if (s[1] == '7') {
    ++counter
  }
  if (s[2] == '7') {
    ++counter
  }
  if (counter == 0){
    cout << No <<endl;
  }
  else {
    cout <<Yes <<endl;
  }
}