Export animation in student version

Hi - is it possible to export animation in parametric education edition?

I have created an animation, but when I press Playback > Export, the button clicks, but only thing that happens is a .fra file is created in the working folder (last week a .pba file was created though) - no dialogue box opened for me to specify anything.  Can I use these files?  I really would like export the animation as a well known file format.

Any helps would be great.

Thanks vm.