How to save a file from a url with php

How to save a file from a url with php

How can I save "example.mp4" from $url="http://videos.com/example.mp4" as
"56.mp4" using a variable $id=56 to /videos