#include <iostream>
#include <string>
using namespace std;

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