#include <iostream>

using namespace std;

int main()
{
	int n,f=0;
	cin>>n;
	while(n){
		int x = n%10;
		if(x==7) {
			f=1;
			cout<<"Yes";
			break;
		}
		n = n/10;
	}
	if(f==0) cout<<"No";
	return 0;
}
