#include <bits/stdc++.h> 
#define F(i,a,b) for(int i=a;i<=(b);++i)
#define dF(i,a,b) for(int i=a;i>=(b);--i)
#define inf 0x3f3f3f3f
#define infll 0x3f3f3f3f3f3f3f3f
#define pb push_back
#define maxnkp make_pair
#define fi first
#define se second
#define eps 1e-10
using namespace std;
typedef long long ll;
const int mods = 998244353;
const int maxn = 3e5+10;
const int N = 1e5+10;
const int E = 2e5+10;  
ll n;

int main(){
	string s;
	cin>>s;
	bool flg = 0;
	for(int i=0;i<s.size();i++){
		if(s[i]=='7') flg=1;
	}
	if(flg) printf("Yes\n");
	else printf("No\n");
}