#include<iostream>
#include<vector>
#include<algorithm>
#define rep(i,n) for(int i=0;i<n;i++)
using namespace std;

int main(void) {
	
	char a, b, c;

	cin >> a >> b >> c;
		cout<< (a=='7'||b=='7'||c=='7'?"Yes":"No") <<endl;
	return 0;

}