/*
 * WelcomeToAtCoder.cpp
 *
 *  Created on: 2020/02/19
 *      Author: black
 */
#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;

int main(){
	string n;

	cin >> n;

	for (int i=0; i<3; ++i){
		if (n[i] == '7'){
				cout << "Yes" << endl;
				return 0;
		};
	}

	cout << "No" << endl;

	return 0;
}
