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

int main() {
  string test;
  int count;
  cin >> test;
  if(test[0]=='7') count++;
  if(test[1]=='7') count++;
  if(test[2]=='7') count++;
  
  if(count > 0){
    cout << "Yes" <<endl;
  } else {
    cout << "No" <<endl;
  }
}  
  
    
 
 