I heard of avi files, but have never used the asf files before. Anybody can tell me what is asf file? Is there a software to convert asf file to other popular formats???