would like to know how to defrag paging file