<video controls>
<source src="a.mp4" type="video/mp4">
<source src="a.ogg" type="video/ogg">
</video>