同一个视频,amv和avi的大小哪个大?怎么比较?