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

int main(){
    string n;cin>>n;
    int flag=0;
    for(int i=0;i<3;i++){
        if(n[i]=='7') flag=1;
    }
    if(flag) cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
}