#include <bits/stdc++.h>
#define rep(i,n) for (ll i = 0; i < (n); ++i)
using namespace std;
using ll = long long;
using ull = long long unsigned;
using P = pair<int,int>;
const int INF=1001001001;
const int NMAX=8;
const int MOD=1000000007;
const int dbase=80*160;


int main(){
	string s;
	cin>>s;
	string ans="No";
	rep(i,s.size()){
		if (s[i]=='7') ans="Yes";
	}
	cout<<ans;

}
