#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define all(v) v.begin(), v.end()
int main(){
  int N; cin >> N;
  bool seven = false;
  if(N%10 == 7){
    seven = true;
  } else if (N/100 == 7){
    seven = true;
  } else if ((N/10)%10 == 7){
    seven = true;
  }
  if(seven){
    cout << "Yes" << endl;
  } else {
    cout << "No" << endl;
  }
  return 0;
}
