#include <iostream>
#include<bits/stdc++.h>

using namespace std;
#define rep(i, n) for(int i = 0; i < (int)(n); i++)

#define long long ll

int main(){
    int n;
    cin >> n;
    bool judge = false;
    if(n%10 == 7) judge = true;
    n /= 10;
    if(n%10 == 7) judge = true;
    n /= 10;
    if(n%10 == 7) judge = true;
    
    if(judge == true) cout << "Yes" << endl;
    if(judge == false) cout << "No" << endl;
    

    return 0;
}
