#include<bits/stdc++.h>
using namespace std;

long inf = 1000000007;


int main() {
	int n; cin >> n;
	int a = n%10;
	n /= 10;
	int b = n % 10;
	n /= 10;
	
	if (a == 7 or b == 7 or n == 7) {
		cout << "Yes" << endl;
	}
	else {
		cout << "No" << endl;
	}
}