#include <iostream>
#include <string>
using namespace std;
#define rep(i, n) for (int i=0; i<n; i++)
int main(){
    string N;
    cin >> N;
    bool flag = false;
    rep(i, 3) if (N[i] == '7') flag = true;
    if (flag) cout << "Yes" << endl;
    else cout << "No" << endl;
    return 0;
}