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

#define rep(i,x) for(int i=0;i<x;i++)
#define repn(i,x) for(int i=1;i<=x;i++)

int main(){
	int N;
	cin >> N;
	
	if(N%10==7 || (N/10)%10==7 || (N/100)%10==7) cout << "Yes" << endl;
	else cout << "No" << endl;
}