#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

int main()
{
    string s;
    cin >> s;
    bool ok=0;
    for(char c:s) if(c=='7') ok=1;
    if(ok) cout << "Yes" << endl;
    else cout << "No" << endl;
    return 0;
}
