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

seven(['7'|_]).
seven([_|L]) :- seven(L).

main :-
  get_string(S),
  string_chars(S,L),
  seven(L)->writeln('Yes');writeln('No').