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

int main() {

  int N = 0;
  cin >> N;
  int M = 0, P = 0;
  M = N - N / 100 * 100; 
  P = M - M / 10 * 10;
  
  if(N / 100 == 7){
    cout << "Yes" << endl;
  }
  
  else if(M / 10 == 7){
    cout << "Yes" << endl;
  }
  
  else if(P == 7){
    cout << "Yes" << endl;
  }
  
  else{
    cout << "No" << endl;
  }

}
