[pokkeherrie]

mp4.
it's higher quality and there are more players that can handle it. quicktime for instance.

if you enter the url it gives you two options (vlc or mp4), just right-click save on the link you want to use.