#include <iostream>
using namespace std;

int main(){
    int n;
    cin >> n;
    string res = "No";
    while(n){
        if(n % 10 == 7) res = "Yes";
        n /= 10;
    }

    cout << res << endl;

    return 0;
}