#include<iostream>
using namespace std;
 
typedef long long int ll;
typedef pair<ll,ll> P;
 
int main(){
    int n;
    cin>>n;
    int a,b,c;
    a=n%10;
    n/=10;
    b=n%10;
    n/=10;
    c=n%10;
    if(a==7||b==7||c==7){
        cout<<"Yes";
    }else{
        cout<<"No";
    }
 
    return 0;
}