void 7 (FILEminimizer)