#include <string>
#include <iostream>

int main() {
    std::string N;
    std::cin >> N;
    for (auto c : N) {
        if (c == '7') {
            std::cout << "Yes" << std::endl;
            return 0;
        }
    }
    std::cout << "No" << std::endl;
}
