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

int N;
bool ok = false;

int main(){
  cin >> N;

  string s = to_string(N);
  for(int i = 0; i < s.size(); i++){
    if(s[i] == '7') ok = true;
  }

  if(ok) cout << "Yes" << endl;
  else cout << "No" << endl;

  return 0;
}
