#include<bits/stdc++.h>
using namespace std;
int main(){
    char c;
    string ans="No";
    for(int i=0; i<3; i++){
        cin >> c;
        if(c=='7') ans="Yes";
    }
    cout << ans;
    return 0;
}