#include <bits/stdc++.h>
using namespace std;

int main() {
string N;
cin >> N;
string ans;
for (int i = 0; i < N.length(); i++)
{
    if (N.at(i) == '7')
    {

       ans = "Yes";
       break;
       }
    
    else
    {
        ans = "No";
    }
    
}

cout << ans << endl;

}