#include <bits/stdc++.h>
using namespace std;

int main(int argc, char const *argv[])
{
	string n;
	cin>>n;
	if (n[0]=='7'||n[1]=='7'||n[2]=='7')
	{
		cout<<"Yes\n";
	}
	else cout<<"No\n";
	return 0;
}
