public void disposeRegionAddr(long region_addr) { String filepath = this.makeFilepath(region_addr); String del_filename = String.Format("\\del{0}addr{1}.region", DateTime.Now.ToBinary(), region_addr); File.Move(filepath, dir_path + del_filename); }