TL;DR Of this list, which video file type will be the highest quality?

Cinepack (.avi)
H.264 (.mp4)
OGG (.ogv)

I'm downloading a set of some videos from a site, and they're letting me choose which file type I'd like to download them as. I don't know much about the technical side of this, so I just copy and pasted what they referred to each filetype as.