#include<iostream>
using namespace std;

int main(){
	string n;
	cin>>n;
	int len=n.length();
	len--;
	for(int i=0;i<=len;i++){
		if(n[i]=='7'){
			cout<<"Yes"<<endl;
			return 0;
		}
	}
	cout<<"No"<<endl;
}
