with Ada.Text_IO; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

procedure Solve is
   N : Integer;
   A : Integer;
begin
   Get (N);
   A := N-N/10*10;
   if A = 7 then
      Put_Line ("Yes");
   else
      N := N/10;
      A := N-N/10*10;
      if A = 7 then
         Put_Line ("Yes");
      else
         A := N/10;
         if A = 7 then
            Put_Line ("Yes");
         else
            Put_Line ("No");
         end if;
      end if;
   end if;
end Solve;