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

int main()
{
    string n;
    cin>>n;
    int f=0;
	for(int i=0;i<n.length();i++){
    if(n[i]=='7'){
       f=1;}

	}
	if(f==1){
        cout<<"Yes\n";

	}
	else{
        cout<<"No\n";
	}
}
