#include <bits/stdc++.h>
using namespace std;
int main(){
    int N;
    cin >>N;
    if(N%10==7||(N%100)/10==7||N/100==7){
        cout <<"Yes"<<endl;
        return 0;
    }
    cout <<"No"<<endl;
}
