#include <bits/stdc++.h>

using namespace std;
typedef long long ll;
typedef long double ld;
#define For(i, a, b)    for(int i = (a) ; i < (b) ; ++i)
#define rep(i, n)       For(i, 0, n)


// Write From This Line
int main()
{
	int n;
	cin >> n;
	while(n > 0){
		int a = n % 10;
		n /= 10;
		if( a == 7 ){
			cout <<"Yes" << endl;
			return 0;
		}
	}
	cout << "No" << endl;
}
