#include<iostream.h>
#include<string.h>
using namespace std;
int main(){
    string N;
    bool flag = false;
    cin >> N;

    for(int i=0;i<3;i++){
        if(N.at(i) == '7'){
            flag = true;
        }
    }
    if(flag){
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }
    return 0;
}