#include <iostream>
using namespace std;

void Main()
{
    int n;
    cin >> n;
    if(n % 10 == 7){
        cout << "Yes" << endl;
        return;
    }
    if(n / 10 % 10 == 7){
        cout << "Yes" << endl;
        return;
    }
    if(n / 100 % 10 == 7){
        cout << "Yes" << endl;
        return;
    }
    cout << "No" << endl;
}

int main(int argc, char **argv)
{
    Main();
    return 0;
}
