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

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