#include <bits/stdc++.h>

using namespace std;

int main(void)
{
	int n;
	cin>>n;
	bool flag = false;
	while(n%10 != 7){
		n = n/10;
		if(n == 0){
			cout<<"No"<<endl;
			return 0;
		}
	}
	if(n%10 == 7){
		cout<<"Yes"<<endl;
	}
	return 0;
}

