#include <bits/stdc++.h>
using namespace std;
 
int main() {
  int N;
  cin >> N;
 
  if (N/100 == 7 ) {
    cout << "Yes" << endl;
  }
 
  else if ( (N%100)/10 == 7 ) {
    cout << "Yes" << endl;
  }
 
  else if ( N%10 == 7 ) {
    cout << "Yes" << endl;
  }
 
  else {
    cout << "No" << endl;
  }
 
  
}
#i#include <bits/stdc++.h>
using namespace std;

int main() {
  int N;
  cin >> N;

  if (N/100 == 7 ) {
    cout << "Yes" << endl;
  }

  else if ( (N%100)/10 == 7 ) {
    cout << "Yes" << endl;
  }

  else if ( N%10 == 7 ) {
    cout << "Yes" << endl;
  }

  else {
    cout << "No" << endl;
  }

  
}