#include <bits/stdc++.h>

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

using ll = long long;
using namespace std;

int
main ()
{
    string s;
    cin >> s;

    auto answer = "No";
    if ( s[0] == '7' || s[1] == '7' || s[2] == '7' )
      answer = "Yes";

    cout << answer << endl;
}
