#include<bits/stdc++.h>
using namespace std;
void solve(){
	int n;
	cin>>n;
	bool ans=0;
	while(n){
		int rem=n%10;
		n=n/10;
		if(rem==7)ans=1;
	}
	cout<< (ans ? "Yes":"No");
	
	
}



int main(){
	solve();
}
