#include <bits/stdc++.h> 
#include<cmath>
#define pb push_back
#define ll long long
#define ull unsigned long long
#define deb(x) cerr<<#x<<" "<<x<<"\n"
#define debi cerr<<"hey sparky\n"
#define f first
#define s second
#define fast ios::sync_with_stdio(0),cin.tie(0),cout.tie(0)
#define newline cout<<"\n"
#define yes cout<<"Yes"<<"\n"
#define no cout<<"No"<<"\n"
#define INF (int)1e5
#define nax (int)1e5+2
using namespace std;
// look for  all edge cases
//search for a pattern


int main(){
	fast;
	string n;
	cin >> n;
	if(n[0] == '7'  || n[1] == '7' || n[2] == '7')
		yes;
	else
		no;
	
	return 0;
	
}
