F DVIDVI.TXT;1                      	dvidvi.txt
F DVIDVI.ZIP;1                      	dvidvi.zip