#include <iostream>

using namespace std;

int main()
{
    int ans=0;
    string s;
    cin >> s;
    for(int i=0;i<s.size();i++)
    {
     if(s[i]=='7')
            ans++;
    }
    cout << (ans>0 ? "Yes":"No");
    return 0;
}
