The file type (like .exe .txt etc) may not be scanned because its not on the default extension list.
Also if you still need to clean your computer you can do so herehttp://housecall.trendmicro.com
trend may have a diffrent name than JS/offiz