#include <iostream>
#include <string>

int main(int argc, char *argv[])
{
    int n;

    std::cin >> n;

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