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

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

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