can you batch export flas to AVI?

[flatface]

I have a collection of fla animations and I want to run javascript batches to publish them at various different settings. I need to create AVIs and quicktime movies.

to create quicktime movies I can run this javascript file:

//create filenames
var filepath = "file:///C:/FINAL ANIMATIONS/"
filenames = [filepath+"Anim1.fla",
	     filepath+"Anim3.fla"];

for (i=0; i<filenames.length;i++){
	
	fl.openDocument(filenames[i]);
	
	curr_doc = fl.getDocumentDOM();
	
	// export as quicktime movies by loading in quicktime publish profile
	fl.getDocumentDOM().importPublishProfile('file:///C:/Documents and Settings/Scott/Desktop/quicktime.xml');
	
	//publish
	curr_doc.publish();
	
	curr_doc.close(false);
}
//fl.quit(true);

but is there a way of exporting as AVIs?

edit: i'm not being lazy I have 250 animations and I want avoid exporting for days!