#include <bits/stdc++.h>
using namespace std;
int main(void){
    string n;
    cin >> n;
    if (n.at(0) == '7'||n.at(1) == '7'||n.at(2) == '7') {
        printf("Yes\n");
    }
    else{
        printf("No\n");
    }
}
