multiple output formats

Provides video output formats including MP4, AVI, WMV, FLV at present. More will be put out later.