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