program lucky_7
  implicit none
  character(3) :: n
  read(*,*) n
  if (n(1:1) == "7" .or. n(2:2) == "7" .or. n(3:3) == "7") then
    write(*,'(a)') "Yes"
  else
    write(*,'(a)') "No"
  end if
end program lucky_7