#include<iostream>
using namespace std;

int main(){
    int n;
    bool ans = 0;
    cin >> n;
    for(int i = 0;i < 3;i++){
    if(n%10 == 7){
        ans = 1;
    }
    n -= n%10;
    }
    if(ans){
        cout << "Yes" << endl;
    }
    else{
        cout << "No" << endl;
    }
    return 0;
}