#include <iostream>

int main()
{
    int n = 0;
    std::cin >> n;

    if (n % 10 == 7)
    {
        std::cout << "Yes";
        return 0;
    }

    if ((n / 10) % 10 == 7)
    {
        std::cout << "Yes";
        return 0;
    }

    if ((n / 100) == 7)
    {
        std::cout << "Yes";
        return 0;
    }

    std::cout << "No";
    return 0;
}