Ahum.... What do you mean by "file extension"??

I can see this : AVI Video, opens by Real1 player