with Ada.Text_IO, Ada.Integer_Text_IO, Ada.Float_Text_IO;
 use Ada.Text_IO, Ada.Integer_Text_IO, Ada.Float_Text_IO;

procedure main is
   S: String(1..3);
begin
   S := get_line;
   if (S(1) = '7') then put_line("Yes");
   elsif (S(2) = '7') then put_line("Yes");
   elsif (S(3) = '7') then put_line("Yes");
   else put_line("No");
   end if;
end main;