in questo sito trovi parecchio sulle estensioni dei file.

http://filext.com/

nello specifico .do ....

http://filext.com/detaillist.php?extdetail=.do