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

int main(){
  string N;
  cin >> N;
  bool flag = false;
  for(int i=0; i<N.size(); i++){
    if(N[i]=='7'){flag = true; break;}
  }
  if(flag) cout << "Yes" << endl;
  if(!flag) cout << "No" << endl;
  return 0;
}