#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
 
int main(){
  
  ll N;
  cin >> N;
  
  bool sev = false;
  while(N != 0){
    if(N % 10 == 7)  sev = true;
    N /= 10;
  }
  
  if(sev)  cout << "Yes" << endl;
  else  cout << "No" << endl;
  
  return 0;
}