#include <iostream>
#include <string>

int main(){
    int N;
    std::cin >> N;
    bool ans = 0;
    for(auto i = 100; i > 0; i /= 10){
        int tmp = N / i;
        if(tmp == 7){
            ans = 1;
            break;
        }
        N %= i;
    }

    std::string S = ans ? "Yes" : "No";
    std::cout << S << std::endl;

    return 0;
}
