#include <iostream>
using namespace std;

int main()
{
	int n;
	while(cin >> n){
		int ng = n % 10;
		int ns = n / 10 % 10;
		int nb = n / 100;
		if(ng == 7 || ns == 7 || nb == 7){
			cout << "Yes" << endl;
		}
		else{
			cout << "No" << endl;
		}
	}
	return 0;
} 