get_number(Number) :-
    get_string(String),
    number_string(Number, String).

get_string(String) :-
    current_input(Input),
    read_string(Input, ' \n', '', _, String).

main:-
    get_number(X),
    (X mod 10 =:= 7 ; X div 10 mod 10 =:= 7 ; X div 100 mod 10 =:= 7) -> writeln("Yes") ; writeln("No").
