#include <bits/stdc++.h>
#define rep(i,n) for (int i = 0; i < (n); ++i)
using namespace std;
using ll = long long;
using P = pair<int,int>;

int main(){
  string n;
  cin >> n;
  bool ok = false;
  rep(i,3){
    if(n[i]=='7') ok = true;
  }
  if(ok){
    puts("Yes");
  }else{
    puts("No");
  }
  return 0;
}