program main
  
  implicit none
  character(3) :: n 
  integer :: i,j
  
  read(*,*) n 
   
  j = 0 
  do i = 1, 3
    if(n(i:i) == "7") j = 1
  end do
  if(j==1) then
    print*, "Yes"
  else
    print*, "No"
  end if
end program main
