#include <bits/stdc++.h>
#define rep(i,n) for (int i = 0; i < (n); ++i)
using namespace std;
using ll = long long;
using P = pair<int,int>;

int main() {
  string S;
  //int X;
  cin >> S;
  
  //if(S = '7' || S = '17' || S = '70') {
    //cout << "Yes" << endl;
  //}
  //cout << S.at(2) << endl;
  
  if (S.at(0) == '7') {
    //if (X / 100 != '7') {
     cout << "Yes" << endl;
     // cout << "No" << endl;
  }
  else if (S.at(1) == '7') {
     cout << "Yes" << endl;
     //cout << "No" << endl;
  } 
  else if (S.at(2) == '7') {
    cout << "Yes" << endl;
    //cout << "No" << endl;
  }
  else {
    //cout << "Yes" << endl;
    cout << "No" << endl;
  }
  //cout << Z << " " << X << " " << Y << endl; 
}