How to refresh a formatted floppy disk