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

int main(){
  string N;
  cin >> N;
  int cnt_7=0;
  for(int i=0; i<3; i++){
    if(N[i]=='7'){
      cnt_7++;
    }
  }
  if(cnt_7>0){
    cout << "Yes" << endl;
  }else{
    cout << "No" << endl;
  }
  return 0;
}
