HTML5 video, the code show how to use many formats videos and flash fallback