Go to TrendMicro.com and run their online virus checker.

Can you download any other files?