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

procedure hoge is
 n: integer;
 flag: Integer :=0;
begin
 get(n);
 if (n rem 10)=7 then
  flag:=1;
 end if;
 if (n/10 rem 10)=7 then
  flag:=1;
 end if;
 if (n/100 rem 10)=7 then
  flag:=1;
 end if;
 if flag = 1 then
  put_line("Yes");
 else
  put_line("No");
 end if;
end hoge;