//
//AtCoder Beginner Contest 162
//A - Lucky 7
//

#include <iostream>
#include <algorithm>
#include <vector>

using namespace std;

#define rep(i, n) for(int i = 0; i < (int)(n); i++)
#define all(x) (x).begin(),(x).end()
#define zero(a) memset(a, 0, sizeof(a))

using ll = long long;

int main()
{
    int n;

    cin >> n;

    bool flag = false;
    if (n%10 == 7) flag = true;
    if ((n/10)%10 == 7) flag = true;
    if ((n/100)%10 == 7) flag = true;

    if (flag) cout << "Yes" << endl;
    else cout << "No" << endl;
    
    return 0;
}
