#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <map>
#include <math.h>

#define rep(i,n) for(int i=0;i<n;i++)
using namespace std;



int main() {

    string s;
    cin >> s;
    bool ans=false;
    rep(i,3)
    {
        if(s[i]=='7')
            ans = true;
    }

    cout << (ans ? "Yes" : "No")<<endl;

    return 0;
}