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

int main(){
	int n;
  	cin >> n;
  
  	bool ans = false;
  	rep(i, 3){
    	if(n % 10 == 7) ans = true;
      	n = n / 10;
    }
  
  	cout << (ans ? "Yes" : "No") << endl;
}