#include <iostream>
#include <algorithm>
#include <string>
#include <math.h>
#include <cstdint>
#include <sstream>
#include <map>
#include <vector>
#include <queue>
#include <iomanip>

using namespace std;
typedef long long ll;

ll ans, mx, sum, mn = 1e8, cnt;
ll a[1000001],idx=1;

ll gcd(ll a,ll b) { 
    if (a == 0) 
        return b; 
    return gcd(b % a, a); 
} 

int main(){
	ll n;
	cin>>n;
	string s=to_string(n);
	bool ok=false;
	for(ll i=0; i<s.size(); i++){
		if(s[i]=='7') ok=true;
	}
	if(ok==true) cout<<"Yes";
	else cout<<"No";
}