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

int main(){
//srandom((unsigned long)time(NULL));

string n;
cin>>n;
bool seven=false;
for(int i=0;i<3;i++){
    if(n[i]-'0'==7)seven=true;
}
if(seven)cout<<"Yes"<<endl;
else cout<<"No"<<endl;

return 0;
}