#include <iostream>
using namespace std;

int main(){
    int ans=0;
    string s;
    s[3];
    for(int i=0;i<3;i++){
        cin>>s[i];
    }

    for(int j=0;j<3;j++){
        if(s[j]=='7') ans++;
    }
    if(ans>0) cout<<"Yes"<<endl;
    else cout<<"No"<<endl;

    return 0;
}