On Using A File Shredder