
#include <cstdio>
#include <vector>
#include <iostream>
#include <algorithm>
using namespace std;

int main() {

int n;cin>>n;bool isfail=true;
while(n>0)
{
	if(n%10==7)
	{

		cout<<"Yes"<<endl;
		isfail=false;
		break;

	}n/=10;


}if(isfail==true)
	cout<<"No"<<endl;















    return 0;
}
