That is basically a custom flv player that they built in Flash. If you need an flv player then you can use the FLV player component in Flash. Just import the video and follow the instructions. Also, Dreamweaver gives you the ability to play flvs as well. Hope that helps!