It's probably meant to exploit some flaw in Firefox's handling of Javascript. It outputs a .bat file, which would be windows-specific. On my Windows box here (and on a Windows laptop I tried it on) I was unable to notice anything being done. No .bat file
being created (did a search of my whole hard drive.) No .bat file being run telling me it could've been a virus.