#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define INF 1LL<<62
#define inf 1000000007

int main() {
	ll n;
	cin>>n;
	bool ch=false;
	while(n!=0){
		if(n%10==7){
			ch=true;
		}
		n/=10;
	}
	cout << (ch?"Yes":"No");
	// your code goes here
	return 0;
}