#include<bits/stdc++.h>
using namespace std;
int main(){
int n,a[3];
cin>>n;
a[0]=n%10;
a[1]=n/10%10;
a[2]=n/100;
for(int i=0;i<3;i++){
	if(a[i]==7){
		cout<<"Yes";
		return 0;
	}
} 
cout<<"No";
return 0;
}
