reformat ALLFILE