#include<bits/stdc++.h>
typedef long long int ll;
using namespace std;

int main(){

string N;
cin>>N;

if(N[0]=='7' || N[1]=='7' || N[2]=='7'){
    cout<<"Yes"<<endl;
}
else{
   cout<<"No"<<endl;
}









return 0;
}
