#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
using namespace std;

int main() {

    string in;
    cin >> in;


    string ans = "No";
    if(in.at(0) == '7') ans = "Yes";
    if(in.at(1) == '7') ans = "Yes";
    if(in.at(2) == '7') ans = "Yes";

    cout << ans << endl;

}   