#include <iostream>
#define rep(i,n) for (int i = 0; i < (n);; ++i)
using namespace std;
using ll = long long;
using p = pair<int, int>;
int x, a, b, c, d;
int main() {
	cin >> x;
	a= x / 100;
	b = x % 100;
	c = b / 10; 
	d = b % 10;
	if (a == 7 || d == 7 || c == 7) {
		cout << "Yes";
	}else cout << "No";
	return 0;
}