#include <iostream>

int main(){
    std::string inp;
    std::cin >> inp;
    for(char& c:inp)
        if (c == '7') {std::cout << "Yes"; return 0;}
    std::cout << "No";

    return 0;
}
#include <iostream>
#include <string>
#include <vector>
using ll=long long;
using namespace std;

int main(){
    int a,b,c;
    cin>>a>>b>>c;

    string ans;

    if(a==b){
        if(a!=c){
            ans="Yes";
        }else{
            ans="No";
        }

    }else if(b==c){
        if(a!=c){
            ans="Yes";
        }else{
            ans="No";
        }
    }else if(c==a){
        if(b!=c){
            ans="Yes";
        }else{
            ans="No";
        }
    }else{
        ans="No";
    }
    cout<<ans<<endl;

    return 0;
}