//omajinai c++ atcoder
#include <bits/stdc++.h>
#define rep(i, n) for(int i = 0; i < (int)(n); i++)
#define all(x) (x).begin(),(x).end()
#define itn int
typedef long long ll;
constexpr auto mod = 1000000007;
using namespace std;
int main() {
 string s;
  cin>>s;
  int f=0;
  for(int i=0;i<s.length();i++){
    if(s[i]=='7'){
      f=1;
      break;
    }
  }
  
  if(f==0){
    cout<<"No";
  }
  else{
    cout<<"Yes";
  }
}