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

int main() {
  int n; cin >> n; bool flag=false;
  do{
    if(n%10 == 7){
      flag=true;
      break;}
    n/=10;
    }while(n/10);
  if(flag)
    cout << "Yes\n";
  else
     cout << "No\n";
  return 0;
  }
