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


int main() {

  string N;
  cin >> N;

  string ans = "No";

  for(int i=0; i<N.size(); i++){
    if(N.at(i)=='7'){
      ans = "Yes";
      break;
    }
  }

  cout << ans << endl;

  return 0;

}
