#include<bits/stdc++.h>
using namespace std;
int main(){
  int N;
  cin >> N;
  string str;
  str = to_string(N);
  int i = 0;
  for (i = 0; i < 3; i++)
  {
    if(str.at(i)=='7'){
      cout << "Yes" << endl;
      break;
    }
  }
  if(i==3){
    cout << "No" << endl;
  }
}