#include <iostream>

int main()
{
    char c;
    for (int i = 0; i < 3; ++i)
    {
        std::cin >> c;
        if (c == '7')
        {
            std::cout << "Yes\n";
            return 0;
        }
    }
    std::cout << "No\n";
    return 0;
}
