#include <bits/stdc++.h>
using namespace std;
int gcd(int x,int y){
    if(x>y)swap(x,y);
    for(int i=x; i >= 1; i--){
        if(i == 1)return 1;
        else if( x % i  == 0 && y % i == 0)return i;
        //最大公約数、lcm = x*y/gcd 僕のVSCではgcd関数が使えませんでした(泣)だれか教えてください。
    }
}


int main(){ 
    string n;
    cin >> n;
    for(int i=0;i<3;i++){
        if(n.at(i) == '7'){
            cout << "Yes" << endl;
            return 0;
        }
    }
    cout << "No" <<endl;
}