#include <bits/stdc++.h>
using namespace std; 
#define rep(i, N) for (int i = 0; i < (int)N; i++)

int main(){
string n ;
cin >>n;
if (n[0]=='7'||n[1]=='7'||n[2]=='7') cout <<"Yes"<<endl;
else << "No"<<endl;
}