Exportar de FLASH a AVI

Holas a todos he aqui una nueva duda, a que tamaño debo exportar una pelicula flash a un avi, digamos que para verlo en tv (osea cuantos px de alto por cuantos de ancho)

VCD 352x288 con 25 imágenes por segundo (PAL)
VCD 352x288 con 29,97 imágenes por segundo (NTSC)
SVCD 480 x 576 (PAL, 25 Hz)
SVCD 480 x 480 (NTSC, 29,97 Hz) (dos tercios de la de un DVD)
DVD 720 x 480 pixels formato 16:9
La emision TV es unicamente 460x360 pixels
El VHS con 300x360 pixels

muchisimas gracias