#include <cstdio>
#include <cstring>
#include <iostream>

using namespace std;

int main(int argc, char const *argv[])
{
    int n;
    int param = 0;

    cin >> n;
    if ((n>=700&&n<800))
    {
        param = 1;
    }
    n-=(n/100)*100;
    
    if ((n>=70&&n<80))
    {
        param = 1;
    }

    n-=(n/10)*10;
    if (n==7)
    {
        param = 1;
    }
    

    if (param==1)
    {
        cout << "Yes";
    }
    else
    {
        cout << "No";
    }
    
    
    
    return 0;
}
