#include <bits/stdc++.h>
using namespace std;
#define rep(i, c) for(int i=0; i<(int)c; i++)
int main() {
	int n;
	cin >>n;

	string ans ="No";
	if (n%10==7){
		ans="Yes";
	}
	if ((n/10)%10==7){
		ans="Yes";
	}
	if ((n/100)%10==7){
		ans="Yes";
	}
	cout << ans << endl;
	return 0;
}
