what video formats can I play with flash player? I heard that mp4 and mov are possible… Is that true?