Rendering a video as an Avi file

I would like to know the procedure(s) on how to render a video as an avi file. First,  I had used a program called Virtualdub  1.8 to crop and remove a lot of garbage from the edges of the video.   Second, I'm exporting this video to Adobe Premiere Pro 2.0 to do some color correction.  Third, after the color correction in Adobe Premiere Pro 2.0 , I would like to save this video as an avi file.  I would like to know do I render this video with the color correction effects first, save it, and export it as an avi file? or just export it as an avi file.  I'm new to using Adobe Premiere Pro 2.0. 

Gerald Sr.