请问像新浪，搜狐，腾讯，网易这些大型门户网站的国际足球视频编辑都是用什么软件制作的？