with Ada.Text_IO;
with Ada.Integer_Text_IO;

procedure main is

    n : String(1 .. 3);
    last : Natural;
    c : Intager := 0;

begin

    Ada.Text_IO.Get_Line(n, last);

    if(n(1) = '7')then
        c := c + 1;
    elsif(n(2) = '7')then
        c := c + 1;
    elsif(n(3) = '7')then
        c := c + 1;
    end if;

    if(c > 0)then  
        Ada.Text_IO.Put_Line("Yes");
    else
        Ada.Text_IO.Put_Line("No");
    end if;

end main;