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

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