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

int main()
{
	string s;
	cin >> s;
	int n = s.size();
	rep(i,n){
		if(s[i] == '7'){
			puts("Yes");
			return 0;
		}
	}
	puts("No");
	return 0;
}
