#include <bits/stdc++.h>
 
using namespace std;
 
int main(){
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n;
  cin >> n;
  
  while(n > 0){
	  if(n % 10 == 7){
		  cout << "Yes" << "\n";
		  return 0;
	  }
	  n = n / 10;
  }
  cout << "No" << "\n";
 
  return 0;
}

