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

int main(){

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