#include<iostream>
#include <algorithm>
#include <vector>
#include <string>
#include <cmath>
using namespace std;
typedef long long ll;
typedef pair<int,int> P;
int Max = 1000000;
int main(){
  	int N;
  	cin >> N;

  	while(N>0){
  		if(N%10==7){
  			cout << "Yes" <<endl;
  			return 0;
  		}
  		N /=10;
  	}
  	cout << "No" <<endl;

    
  	return 0;
}


