Docker images can be sent to registry by using ____________.
(1)docker push
(2)docker send
(3)docker pull
(4)docker publish