#include <bits/stdc++.h>
using namespace std;


int main() {
    int N;
    cin >> N;
    Ans = "No";
    if(N%10 == 7)Ans = "Yes";
    N /= 10;
        if(N%10 == 7)Ans = "Yes";
    N /= 10;
        if(N%10 == 7)Ans = "Yes";

        cout >> Ans >> endl;
}
