#include <iostream>
using namespace std;
#include <string>
#include <vector>
#include <algorithm>
#include <map>
typedef long long ll;
#include <cmath>


int main(int argc, char *argv[])
{
	int n;
	cin >>n;
	
	string s="No";

	while (n>0)
	{
		if ((n%10)==7) s="Yes";
		n/=10;
	}
	cout<<s<<endl;
	return 0;
}

